Faculty
| Rajeev Balasubramonian | High-performance, power-efficient, reliable computer architectures | |
| Erik Brunvand | Application-specific computer architecture, asynchronous and self-timed systems, VLSI | |
| Al Davis | Low-power embedded processors, architectures for cellular telephony, high-performance I/O | |
| Matthew Flatt | Programming languages and systems | |
| Juliana Freire | Database systems, data management and integration, Web mining | |
| Ganesh Gopalakrishnan | Formal verification, model checking, asynchronous circuits and systems | |
| Sneha Kasera | Computer networks and systems -- mobile systems and wireless networks, network security | |
| Robert Kessler | Systems software, software engineering | |
| Jay Lepreau | Operating systems, security, networks, languages | |
| Gary Lindstrom | Programming languages, data management, verification | |
| John Regehr | Embedded systems, sensor networks, static analysis, real-time systems, operating systems | |
| Konrad Slind | Programming languages, applications of logic to system correctness | |
| Joe Zachary | Programming languages |
Request updates to this page by contacting John Regehr