Security

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)

Assistant Professor

Office: GS 734

Research Interests: System and software security, program analysis, applied cryptography, internet measurement

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)

Professor

Office: GS 758

Research Interests: Security, software protection, reverse engineering, research ethics

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