Xudong Zhao Thesis Title: Verification of Arithmetic Circuits Degree Type: Ph.D. in Computer Science Advisor(s): Edmund Clarke Graduated: August 1996