Prof. Zhong Shao and his team join $10M NSF expedition project to exterminate software bugs

January 7, 2016

Funded by a $10 million, five-year grant from the National Science Foundation, a team of researchers from Yale, Princeton, MIT, and the University of Pennsylvania aim to exterminate software bugs that can lead to security vulnerabilities and computing errors that disrupt devices and open our lives to hackers and thieves.

Read full YaleNews article, and also check out the DeepSpec and CertiKOS project web sites.