August 2017 News

August 22, 2017
A recent news article in the August 2017 issue of Communications of ACM reports on progress with Hacker-Proof Coding and features Professor Zhong Shao’s DeepSpec/CertiKOS...
August 22, 2017
Henny Admoni (PhD Yale 2016) just became Assistant Professor in the Robotics Institute at Carnegie Mellon University; her research interest is on robotics, human-robot...
August 21, 2017
On June 23 and 24, 2017, computer scientists gathered in San Francisco to celebrate the 50-year history of the Association for Computing Machinery’s A. M. Turing Award...