Systems and Programming Languages
Faculty
| Rajeev Balasubramonian | High-performance, power-efficient, reliable computer architectures | |
| Erik Brunvand | Application-specific computer architecture, asynchronous and self-timed systems, VLSI | |
| John Carter | Operating systems, parallel and distributed computing, computer architecture | |
| 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 | |
| Mary Hall | Optimization, parallelization and compilers | |
| Sneha Kasera | Computer networks and systems -- mobile systems and wireless networks, network security | |
| Robert Kessler | Systems software, software engineering | |
| Matthew Might | Security, parallelism, verification and optimizaation | |
| John Regehr | Embedded systems, sensor networks, static analysis, real-time systems, operating systems | |
| Joe Zachary | Programming languages |
Request updates to this page by contacting John Regehr