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...
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...
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...
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...
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...
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...
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...
