Roberto Giacobazzi

Professor

Office: GS 711

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