Victor Milenkovic Verifiable Implementations of Finite Precision Arithmetic Degree Type: Ph.D. in Computer Science Advisor(s): Takeo Kanade Graduated: August 1988