Programming Languages and Compilers

Professor

Office: GS 711

Interests: Theory of computation, programming languages, abstract interpretation, program analysis and verification, logic in computer science, history of computing.

(Ph.D., University of Pisa in Italy, 1993)

Professor

Office: GS 735

Interests: Compilers, program analysis and optimization, programming language implementation.

(Ph.D., The State University of New York at Stony Brook, 1986)