form.antibot { display: none !important; } You must have JavaScript enabled to use this form.

Search for Faculty by Research Area

form.antibot { display: none !important; } You must have JavaScript enabled to use this form.

Iliano Cervesato
Teaching Professor
Research Areas:
Karl Crary
Associate Professor
Research Areas:
Frank Pfenning
Professor
Research Areas:
Andre Platzer
Courtesy Faculty
Professor
Research Areas:
Dana Scott
University Professor Emeritus
Research Areas:
- Logic
- Program semantics