Former Faculty
- 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
- 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
