Zhong Shao
About Zhong Shao
Zhong Shao is the Thomas L. Kempner Professor of Computer Science at Yale University, where he has worked since 2017. He also co-founded CertiK in 2017 and has held various academic positions at Yale and Princeton University throughout his career.
Work at Yale University
Zhong Shao has held multiple positions at Yale University, starting as an Assistant Professor of Computer Science from 1994 to 2000. He then served as an Associate Professor from 2000 to 2003. After a period as a Professor from 2003 to 2017, he became the Thomas L. Kempner Professor of Computer Science in 2017. In addition to his teaching roles, he served as the Department Chair for Computer Science from 2017 to 2023. His tenure at Yale spans nearly three decades, contributing significantly to the field of computer science.
Education and Expertise
Zhong Shao earned his Bachelor of Science degree in Computer Science from the University of Science and Technology of China, where he studied from 1983 to 1988. He then pursued advanced studies at Princeton University, obtaining a Ph.D. in Computer Science from 1989 to 1994. His educational background has provided a strong foundation for his research and teaching career in computer science.
Background
Zhong Shao began his academic journey as a PhD student and research/teaching assistant at Princeton University from 1989 to 1994. He gained practical experience through summer internships at AT&T Bell Laboratories in 1991 and Xerox PARC in 1993. His early career included various roles at Yale University, where he progressed from Assistant Professor to Department Chair.
Achievements
In addition to his academic roles, Zhong Shao co-founded CertiK in 2017, where he has been actively involved in the Greater New York City Area. His work at CertiK focuses on advancing the field of computer science, particularly in areas related to security and verification. His contributions to both academia and industry reflect a commitment to innovation in computer science.