Jonathan Aldrich Professor Research Areas: General programming languages Software architectures Software engineering Theorem proving and SAT solving Type theory
Guy Blelloch Professor Research Areas: Design and analysis of algorithms General programming languages Parallel algorithms
Josh Bloch Adjunct Professor of The Practice Research Areas: Design and analysis of algorithms General programming languages Software engineering
Christopher Bogart Systems Scientist Research Areas: General programming languages Human computer interaction (HCI)
Iliano Cervesato Teaching Professor Research Areas: General programming languages Logic Network security
Robert Harper Professor Research Areas: General programming languages Proof theory Semantics Type theory
Jan Hoffmann Associate Professor Research Areas: Formal methods General programming languages Software security engineering
Christian Kaestner Associate ProfessorDirector, Software Engineering Phd Program Research Areas: General programming languages Reconfigurable computing Software engineering
Zeliha Dilsun Kaynar Associate Teaching Professor Research Areas: Computing education Formal methods Formal methods and theory of security General programming languages
Claire Le Goues Associate Department Head for FacultyAssociate Professor Research Areas: Automatic programming General programming languages Software engineering Test Engineering
Brandon Lucia Affiliated Faculty Research Areas: Architectures Circuits power issues Concurrency General programming languages Operating systems
Frank Pfenning Professor Research Areas: Automated reasoning General programming languages Logic Network security Type theory
Joshua Sunshine Assistant ProfessorCourtesy Systems Scientist Research Areas: General programming languages Software engineering