Overview

Gender

male

Zhong Shao is Thomas L. Kempner Professor of Computer Science and Department Chair in the Computer Science Department at Yale University. He currently leads the FLINT group which aims to develop new languages and tools for building large-scale certified system software. He earned his Ph.D. in Computer Science from Princeton University in 1994. During the last 15 years, Shao has been a leading figure working on the highly visible research fields on cybersecurity, programming languages, operating systems, and certified software. He and his FLINT group at Yale have developed the world's first hacker-resistant concurrent operating system CertiKOS---a major milestone toward building cyber-physical systems that are provably free from software vulnerabilities. Shao is the co-founder of the new blockchain startup, CertiK, which aims to develop a formal verification platform for next-generation smart contracts and blockchain ecosystems.