With approximately 51 tenure-track, tenured, and research faculty and 210 PhD students — and strong collaborators across campus — we cover a wide array of research areas across the computer and information sciences. To get an overview of some of the projects and activities across the department, please see here.
Intelligent Systems, Artificial Intelligence, and Data Science
Machine Learning and Artificial Intelligence [ASSET Center][PRiML Center][Highlights]
- Shivani Agarwal, Pratik Chaudhari+, Eric Eaton, Jacob Gardner, Surbhi Goel, Hamed Hassani+, Dinesh Jayaraman, Michael Kearns, Aaron Roth, Dan Roth (on leave), Lyle Ungar, Eric Wong, Mark Yatskar, Yoseph Barash+, Osbert Bastani, Chris Callison-Burch, Jean Gallier, Sharath Guntuku, Zack Ives, Konrad Kording+, Benjamin Lee, Jing Li+, Ryan Marcus, Jianbo Shi, Rene Vidal+, Mingmin Zhao
Natural Language Processing (Computational Linguistics) [Penn Natural Language Processing] [Highlights]
- Chris Callison-Burch, Sharath Guntuku, Mark Liberman+, Dan Roth (on leave), Lyle Ungar, Charles Yang+, Mark Yatskar
Robotics [GRASP Laboratory]
- Kostas Daniilidis, Eric Eaton, Dinesh Jayaraman, Dan Koditschek+, Vijay Kumar+, George Pappas+, Michael Posa+, Cynthia Sung+, Camillo J. Taylor
Computer Vision [GRASP Laboratory] and Graphics [ViDi Center for Digital Visualization] [Highlights]
- Kostas Daniilidis, Jean Gallier, Dinesh Jayaraman, Lingjie Liu, Jianbo Shi, Camillo J. Taylor, Rene Vidal+, Mark Yatskar
AI for Health, Computational Biology and Biomedical/Clinical Informatics [ASSET Center] [Highlights]
- Rajeev Alur, Yoseph Barash+, Susan Davidson, James Gee+, Sharath Guntuku, Kevin Johnson, Sampath Kannan, Junhyong Kim+, Konrad Kording+, Qi Long+, Mayur Naik, Joshua Plotkin+, Dan Roth, Harvey Rubin+, Val Tannen, Lyle Ungar, Rene Vidal+, Li-San Wang+
Data Science Platforms, Machine Learning Systems, and Databases [Database Group] [Highlights]
Algorithmic Fairness and Data Privacy [Warren Center for Network & Data Science] [Highlights]
Human-Centered Computing
Human-Computer Interaction
Computational Social Science [Warren Center for Network & Data Science] [CSS Lab] [Highlights]
Computer Systems
Computer Architecture and Quantum Computing Systems [Architecture & Compilers Group][QUIEST Center] [Highlights]
Compilers and Program Analysis [ExCAPE] [Highlights]
Distributed Systems, Networks, and Operating Systems [Distributed Systems Lab] [Highlights]
- Sebastian Angel, Andreas Haeberlen, Zack Ives, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan, Jonathan Smith
Real-Time, Cyber-Physical, IoT, and Autonomous Systems [PRECISE Center] [Highlights]
Computer Security and Cryptography [SPLab] [Highlights]
Foundations of Computation
Algorithms and Computational Complexity [Theory Group] [Highlights]
- Rajeev Alur, Anindya De, Brett Hemenway, Sampath Kannan, Michael Kearns, Sanjeev Khanna, Tal Rabin, Aaron Roth, Erik Waingarten, Rakesh Vohra+, Robin Pemantle+
Formal Methods and Logic [PL Club] [Highlights]
- Rajeev Alur, Osbert Bastani, Insup Lee, Benjamin Pierce, Andre Scedrov+, Oleg Sokolsky, Val Tannen, Scott Weinstein+, Stephanie Weirich
Programming Languages [PL Club] [Highlights]