February 2018 News

Zhong Shao
February 15, 2018
Zhong Shao, newly designated as the Thomas L. Kempner Professor of Computer Science, focuses his research on programming languages, compilers, formal methods, and operating...