Faculty
![](https://csl.yale.edu/wp-content/uploads/2018/10/headshot-crop-150x150.jpg)
Abhishek Bhattacharjee
architecture, operating systems, and compilers
![](https://csl.yale.edu/wp-content/uploads/2021/06/yongshan_ding.jpg)
Yongshan Ding
quantum computing, architecture, and algorithms
![](https://csl.yale.edu/wp-content/uploads/2016/12/hu-150x150.jpg)
Wenjun Hu
mobile and wireless networks
![](https://csl.yale.edu/wp-content/uploads/2019/11/Lethin-cropped-1024x1024.jpg)
Richard Lethin
high-performance computing architectures, algorithms, and compilers
![](https://csl.yale.edu/wp-content/uploads/2021/06/jaylim.jpeg)
Jay Lim
Program Synthesis and Program Verification
![](https://csl.yale.edu/wp-content/uploads/2019/10/AKhandelwal-1024x1024.jpg)
Anurag Khandelwal
distributed systems and networking
![](https://csl.yale.edu/wp-content/uploads/2016/12/manohar-150x150.jpg)
Rajit Manohar
asynchronous VLSI, formal methods, neuroscience & computing
![](https://csl.yale.edu/wp-content/uploads/2019/08/IMG_0740-2-1-150x150.jpg)
Priyadarshini Panda
neural networks – algorithm and system design
![](https://csl.yale.edu/wp-content/uploads/2019/08/rpiskac-150x150.jpeg)
Ruzica Piskac
program verification and software synthesis
![](https://csl.yale.edu/wp-content/uploads/2016/12/shao-150x150.jpg)
Zhong Shao
programing languages and certified software
![](https://csl.yale.edu/wp-content/uploads/2019/08/soule_cropped-2.jpg)
Robert Soulé
networking, distributed
systems, and databases
![](https://codex.cs.yale.edu/avi/home-page/images/avi.jpg)
Avi Silberschatz
Concurrency control, main-memory database systems, persistent-memory database systems
![](https://csl.yale.edu/wp-content/uploads/2019/08/yang-simple-150x150.jpeg)
Y. Richard Yang
computer networking and networked systems
![](https://csl.yale.edu/wp-content/uploads/2022/06/fan.jpg)
Fan Zhang
security & privacy, applied cryptography, blockchains, trusted hardware
![](https://csl.yale.edu/wp-content/uploads/2020/09/zhong.jpg)
Lin Zhong
computer and wireless systems
Research staff
Timos Antonopoulos Advisor: Piskac | Samira Ataei Advisor: Manohar | Hao Chen Advisor: Shao |
Sanjay Deshpande Advisor: Szefer | Ioannis Karageorgos Advisor: Manohar | Jieung Kim Advisor: Shao |
Jung-Eun Kim Advisor: Shao | Ji-Yong Shin Advisor: Shao | Vilhelm Sjöberg Advisor: Shao |
Yuting Wang Advisor: Shao | Man-Ki Yoon Advisor: Shao | Seung-seob Lee Advisor: Zhong |
Raghav Pothukuchi Advisor: Bhattacharjee |
Ph.D. students
Tong Cheng Advisor: Shao | Ruslan Dashkin Advisor: Manohar | Shuwen Deng Advisor: Szefer | Ferhat Erata Advisors: Piskac and Szefer |
Peizhen Guo Advisor: Hu | Richard Habeeb Advisor: Shao | Bill Hallahan Advisor: Piskac | Kasey Hancock Advisor: Constable/Manohar |
Wolf Honore Advisor: Shao | Bo Hu Advisor: Hu | Ketaki Joshi Advisor: Bhattacharjee | Jérémie Koenig Advisor: Shao |
Congyang Li Advisor: Manohar | Rui Li Advisor: Manohar | Nicholas Lindsay Advisor: Bhattacharjee | Mengqi Liu Advisor: Shao |
Zhan Liu Advisor: Ma/Manohar | Ning Luo Advisor: Piskac | Lucas Paul Advisor: Shao | Prafull Purohit Advisor: Manohar |
Isuri Ratnayake Advisor: Hu | Mark Santolucito Advisor: Piskac | Karthik Sriram Advisor: Bhattacharjee | Yupeng Tang Advisor: Khandelwal |
Shanquan Tian Advisor: Szefer | Muhammed Ugur Advisor: Bhattacharjee | Michael Wu Advisor: Bhattacharjee | Wen Wang Advisor: Szefer |
Xiayuan Wen Advisor: Manohar | Xiang Wu Advisor: Manohar | Yihang Yang Advisor: Manohar | Jialu Zhang Advisor: Piskac |
Lulu Zhou Advisor: Zhang |