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 [IDEAS Initiative]
Machine Learning and Artificial Intelligence [ASSET Center][GRASP Laboratory][Highlights]
- Shivani Agarwal, Rajeev Alur, Osbert Bastani, Pratik Chaudhari+, Eric Eaton, Jacob Gardner, Surbhi Goel, Hamed Hassani+, Dinesh Jayaraman, Michael Kearns, Aaron Roth, Dan Roth, Lyle Ungar, Eric Wong, Mark Yatskar, Yoseph Barash+, Chris Callison-Burch, Kostas Daniilidis, Susan Davidson, Sharath Guntuku, Zack Ives, Konrad Kording+, Benjamin Lee, Jing Li+, Ryan Marcus, George Pappas+, Alejandro Ribero+, Jianbo Shi, Rene Vidal+, Mingmin Zhao
Natural Language Processing [Penn Natural Language Processing] [Highlights]
- Chris Callison-Burch, Sharath Guntuku, Mark Liberman+, Dan Roth, Lyle Ungar, Charles Yang+, Mark Yatskar
Robotics and Preception [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] [AI-Driven RNA BioFoundry] [Highlights]
- Rajeev Alur, Yoseph Barash+, Susan Davidson, James Gee+, Sharath Guntuku, Zack Ives, 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 [Penn HCI]
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] [Carbon Connect] [Highlights]
Compilers and Program Analysis [Highlights]
Distributed Systems, Networks, and Operating Systems [Distributed Systems Lab] [Learning Directed OS] [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] [CyberSavvy Center] [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]