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!
International Collegiate Programming Contest World Finals
At the 2014 World Finals ACM-ICPC International Collegiate Programming Contest, held in Ekaterinburg, Russia, the NYU team placed 13th overall, and 1st among North American teams, beating out teams from such schools as MIT, Stanford, CMU, and Berkeley. Congratulations to the team Bowen Yu, Fabian Gundlach, and Danilo Neves Ribeiro and their coaches Brett Bernstein, Evan Korth and Sean McIntyre!
Deena Engel is the first recipient of the Samuel L. Marateck Prize for Outstanding Teaching in Computer Science. The Marateck Prize was established by the Courant Institute in memory of Prof. Sam Marateck, an outstanding and well-loved teacher and colleague in the Computer Science Department from 1973 to 2013.
IEEE Harlan D. Mills Award
The IEEE Computer Society has awarded the Harlan D. Mills 2014 Award to Patrick Cousot and Radhia Cousot for the invention of abstract interpretation, development of tool support, and its practical application. Congratulations! Link