Computer Systems
The computer systems faculty are active in most traditional systems fields, including operating systems, system security, and distributed systems. The faculty has a long tradition of tackling fundamental, long-term research problems in computer science through designing, building and learning from complete computer systems, dating back at least as far as the work of Niklaus Wirth on Pascal, Modula-2 and Oberon in the 1970s and 1980s. Today, the tradition continues through contributions such as the research operating system Barrelfish, the work on new internet architectures in SCION, the research computer Enzian, and many more.
Gustavo Alonso
Full Professor
Website
databases, distributed systems, enterprise computing, system aspects of programming languages, multicore, FPGAs
Torsten Hoefler
Full Professor
Website
efficient and secure datacenter architecture and networking, cloud computing, climate simulations, large-scale machine learning, quantum and high-performance computing
Shweta Shinde
Assistant Professor
Website
systems security, software security, trusted computing, secure hardware, verification