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 747

Interests: Programming languages, compilers, cloud computing, information aggregation.

(Ph.D., University of Wisconsin, 1992)

Professor

Office: GS 735

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

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