1. Home
  2. People

Zhong Shao

Zhong Shao is Thomas L. Kempner Professor and Department Chair in the Department of Computer Science at Yale University. He earned his Ph.D. in Computer Science from Princeton University in 1994. During his early career, he was a key developer of the SML/NJ compiler and the main architect of its FLINT certifying infrastructure. In recent 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 author or co-author of 90 articles in top scientific journals and conferences.

Participated ICO

Startup name Position Raised USD Current token price ETH return
Co-founder NA Not trading NA

Colleagues in ICO

Name Position Startup name Score Social
Co-founder
NA
Research Scientist
NA

ICO that might interest you

Ultrain
UGS
Pending
Pending
TRIAS
TRI
Pending
MultiVAC
MTV
Pending
DEXON
DEX
Pending
Dispatch
DAN
Pending
Pending
Pending
VITE
VITE
Pending
Show all