Jonathan Aldrich Professor Research Areas: General programming languages Software architectures Software design 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 ISR-Professor of The Practice Research Areas: Design and analysis of algorithms General programming languages Software design 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
Ankush Das Doctoral Research Assistant Research Areas: Concurrency Formal methods General programming languages Program analysis Type theory
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 design engineering
Zeliha Dilsun Kaynar Assistant Teaching Professor Research Areas: Computing education Formal methods Formal methods and theory of security General programming languages
Claire Le Goues Associate Professor Research Areas: Automatic programming General programming languages Software design 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
Andre Platzer Courtesy Faculty MemberProfessor Research Areas: AI Safety Embedded and cyber-physical systems Formal methods General programming languages Heterogeneous (hybrid) systems Logic Robotic control Safety critical systems Theorem proving and SAT solving
Joshua Sunshine Courtesy Systems ScientistDirector, Undergraduate Research Programs And Senior Research Fellow Research Areas: General programming languages Software design engineering