Computer Science Prof. Zhong Shao elected to the Connecticut Academy of Science and Engineering

February 16, 2017

The academy recognized Shao “for pioneering contributions to the development of novel programming languages, logics, and tools for building certifiably reliable and secure system software. His techniques led to the world’s first mechanized proof of functional correctness of a complete, general-purpose concurrent operating-system kernel with fine-grained locking.”