Academic Degrees

 

Ph.D., Computer Science, University of Illinois at Urbana-Champaign

Proof Methods for Equational Theories
Doctoral dissertation, 1987, Advisor: Nachum Dershowitz

M.S., Computer Science, University of Illinois at Urbana-Champaign

Termination Orderings for Associative Commutative Rewriting Systems
Master's thesis, 1985, Advisor: David Plaisted

Dipl.-Ing., Applied Mathematics, Johannes Kepler University, Linz, Austria

The Nelson-Oppen Method for Combining Special Theorem Provers: Implementation and Application to Program Verification
Diploma thesis, 1982, Advisor: Bruno Buchberger