NYU has awarded a Silver Professorship to Patrick Cousot. Congratulations!
Best Paper Award
"Finding Minimum Type Error Sources" by doctoral students Zvonimir Pavlinovic and Tim King and Prof. Thomas Wies has won the Best Paper Award at OOPSLA 2014 (Object Oriented Programming, Systems, Language, and Applications). Congratulations!
NSF CAREER Awards
David Sontag and Thomas Wies have each received an NSF CAREER award for their projects "Exact Algorithms for Learning Latent Structures" and "Abstracting Programs for Automated Debugging". Congratulations!
Profile of Yann LeCun
Yann LeCun's work on back-propagation neural networks and deep learning are the subject of an in-depth profile in Wired.
Subhash Khot wins Nevanlinna Prize
Subhash Khot has been awarded the Rolf Nevanlinna Prize for 2014 for his formulation and analysis of the Unique Games Conjecture. The Nevanlinna Prize is given every 4 years by the International Mathematical Union for outstanding contributions in mathematical aspects of information sciences. The award citation states that "Efforts to prove the conjecture, to disprove it, and to discover its consequences have all proven enormously fruitful. The Unique Games Conjecture will be driving research in theoretical computer science for many years to come." Congratulations!