Former Faculty
- Stephen Brookes
- Professor
- 1981–2024
- theory of computing, programming languages
- Randal Bryant
- Professor
- 1984–2020
- verification, computer networks, concurrent programming
- Eric Cooper
- Professor
- 1985–1991
- computer networks, operating systems, programming languages
- Peter Lee
- Professor
- 1988–2009
- software reliability, program analysis, security, programming language design
- Daniel Leivant
- Associate Professor
- 1981–1991
- mathematical foundations of programming semantics
- Stefan Mitsch
- Senior Systems Scientist
- 2016–2022
- modeling, refactoring, collaboration, verification methods for hybrid systems
- Andre Platzer
- Professor
- 2008–2022
- control systems, cyber physical systems, formal methods & verification, game theory, logic, programming languages, robotics, security
- John Reynolds
- Professor
- 1986–2013
- type theory, proof systems, programming language semantics
- Dana Scott
- Professor
- 1981–2003
- computability theory, foundations of logic, philosophy of mathematics,programming language semantics
- Robert Simmons
- Assistant Teaching Professor
- 2012–2016
- structural proof theory, type theory
- Jean Yang
- Assistant Professor
- 2016–2018
- formal methods & verification, programming languages, security, computational biology
- Jeanette Wing
- Professor
- 1985–2018
- security and privacy, formal methods, programming languages, distributed and concurrent systems
