Theory

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: 720

Interests: Interactive machine learning, Reinforcement learning and bandits, Learning theory

(Ph.D., University of California at San Diego, 2017)