Iliano Cervesato Teaching Professor Research Areas: General programming languages Logic Network security
Frank Pfenning Professor Research Areas: Automated reasoning General programming languages Logic Network security Type theory
