Former Faculty

  • Randal Bryant
  • Professor
  • 1984-2020
  • verification, computer networks, concurrent programming
  • Edmund Clarke
  • Professor
  • 1982-2015
  • formal methods & verification
  • 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