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...
June 5, 2017
Valerie Chen’s project detects critical errors in embedded software, which can be found in everyday technology used for vehicles and more. To see a complete list of...
May 10, 2017
Dragomir R. Radev, newly named as the A. Bartlett Giamatti Professor of Computer Science, focuses his research on Natural Language Processing (NLP), information retrieval (IR...
May 5, 2017
The Yale Computer Society (YCS) is an organization run by undergraduates that is aimed at providing students with a range of opportunities to engage in computer science...
May 2, 2017
The National Academy of Sciences announced today the election of 84 new members and 21 foreign associates in recognition of their distinguished and continuing achievements in...