Faculty
-

Aditya Akella, Director
COMPUTER SCIENCE
Networking, Cloud, Learned Systems, AI Infra -

Venkat Arun
COMPUTER SCIENCE
Networking, Formal Verification -

Joydeep Biswas
COMPUTER SCIENCE
Robotics, AI/ML -

Swarat Chaudhuri
COMPUTER SCIENCE
Formal Methods, AI/ML, Neurosymbolic Systems -

Shuchi Chawla
COMPUTER SCIENCE
AI/ML Foundations, Computational Economics -

Poulami Das
ELECTRICAL AND COMPUTER ENGINEERING
Architecture, Computer Systems, and Embedded Systems -

Isil Dillig
COMPUTER SCIENCE
Formal Methods, Neurosymbolic Systems -

Adam Klivans
COMPUTER SCIENCE
AI/ML Foundations -

Christopher J. Rossbach, Co-Director
COMPUTER SCIENCE
OS, Computer Architecture, GPU Virtualization -

Sanjay Shakkottai
ELECTRICAL AND COMPUTER ENGINEERING
Diffusion Models and AI/ML Foundations -

Jovan Stojkovic
COMPUTER SCIENCE
JOINING 2026
Cloud Computing and Datacenters -

Dixin Tang
COMPUTER SCIENCE
Data Systems for GenAI -

Atlas Wang
ELECTRICAL AND COMPUTER ENGINEERING
Generative AI, Theoretical ML -

Chenfeng Xu
COMPUTER SCIENCE
JOINING 2026
Robotics and Systems for ML