Dexter Kozen wins prestigious 2016 EATCS Award

The European Association for Theoretical Computer Science (EATCS) annually honors a respected scientist within the community with the prestigious EATCS Distinguished Achievements Award. The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career. This year, the selection committee has chosen Professor Dexter Kozen as the 2016 recepient for his "fundamental contributions across the whole spectrum of theoretical computer science."

The EATCS Award carries a prize money of 1000 Euros and will be presented at ICALP 2016, which will take place in Rome (Italy) from the 12th till the 15th of July 2016.

The complete press release can be found here:

Date Posted: 2/02/2016

Emin Gün Sirer featured on the IEEE Spectrum for shaping the Bitcoin governance discussion

A blog post by Professor Emin Gün Sirer sparked discussion about the power that Bitcoin users could have over its technical decisions which influenced the users to speak up through exchange CEOs and changed the direction of Bitcoin development away from a settlement-only payment network toward a more universal currency. His post was mentioned in an article on the IEEE Spectrum about Bitcoin and its need for formal governance. The article can be found here:

IEEE Spectrum

Date Posted: 1/26/2016

Brain4Cars journal paper receives full coverage on MIT Tech Review

Brain4Cars, a project led by Professor Ashutosh Saxena, PhD student Ashesh Jain, and PhD alum Hema Koppula among other collaborators, is a technology developed to predict the maneuvers of drivers and reduce the likelihood of accidents. The journal, published on arXiv, was quickly picked up by the MIT Tech Review in the Emerging Technology section. The article can be found at:

MIT Technology Review

Date Posted: 1/26/2016

Nate Foster receives Research Excellence Award from the College of Engineering

Nate Foster won one of the seven inaugural Cornell Engineering Research Excellence Awards for leadership in innovative research, and was one of only two assistant professors to receive it.  Foster works on problems in programming languages, networks, and security, and has been recently working on domain-specific languages for networks.

The other awardees were Christopher Batten (ECE), Lawrence Bonassar (BME), Matthew DeLisa (CBE),  Brian Kirby (MAE), Richard Robinson (MSE), and Uli Wiesner (MSE).


Date Posted: 1/08/2016

Cornell CS major helps win grand prize at Cornell FinTech Hackathon

Excerpt from CIS News: "Cornell computer science major George Li ’18 was part of a four-person team to win the Grand Prize at the Cornell FinTech Hackathon held at Cornell Tech on October 9. The Grand Prize team won $25,000, free incorporation and legal services, and was able to meet with venture capitalists who might be interested in financing their project."

Date Posted: 1/08/2016

Bart Selman quoted in the New Yorker on "Will AI bring us utopia or destruction?"

Bart Selman was quoted by The New Yorker for an long, AI-celebrity-filled, fun-quip-laden article "The doomsday invention: Will artificial intelligence bring us utopia or destruction?"

The magazine reached out to Selman in part because of his role as co-organizer, with Eric Horvitz of Microsoft,of the 2009 Asilomar Meeting on Long-term AI Futures, a AAAI Presidential Panel.  (Asilomar was "chosen for its symbolic value: biologists had gathered there in 1975 to discuss the hazards of their research in the age of modern genetics.")  "The group concluded that more technical work was needed before an evaluation of the dangers could be made, but it also hinted at a concern among panelists that the gathering was based on “a perception of urgency”—--generated largely by the transhumanists—--and risked raising unfounded alarm. With A.I. seeming like a remote prospect, the researchers declared, attention was better spent on near-term concerns. [Selman said to the article's author:] “The mode was ‘This is interesting, but it’s all academic—it’s not going to happen.’ ”

Date Posted: 1/08/2016

Carla Gomes heads new NSF Expeditions in Computing project to form CompSustNet with $10 million grant

Excerpt from CIS News: "The National Science Foundation today announced $30 million in new awards to three Expeditions in Computing projects, one of which has been awarded to Cornell University Computer Science Professor Carla Gomes, also with appointments in Information Science and the Dyson School and director of the Institute for Computational Sustainability. Each award will provide $10 million in funding over five years to interdisciplinary, multi-investigator research teams to support transformative computing and technology research. Expeditions represent some of the largest single investments in computer science research by the NSF."

Her receipt of the grant and further insight into her work with computational sustainability was covered by the Cornell Daily Sun and can be found:

Date Posted: 1/08/2016

Bart Selman quoted on "unintelligent" artificial intelligence in Business Insider

Bart Selman is quoted in an article in Business Insider investigating whether
mimicking human intelligence is the path to artificial intelligence.  Selman
uses speech recognition to say "no":

"We don't quite know how the brain does it," said Selman, but it's "probably more
complicated than the way [AI is] doing it right now": "The main progress right
now and in the near future will be getting to a performance at a human-level
without getting the details of the human brain all figured out."

Reprinting from Tech Insider.

Date Posted: 1/07/2016


Archived News: