Congratulations to Carla Gomes, Chair of the American Association for the Advancement of Science (AAAS) Section on Information, Computing, and Communication (T)!
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:
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:
Professor David Gries received the Amity Booker's Prize from Amity University in New Delhi, India for the 2004 text "Multimedia Introduction to Programming using Java," which included a CD called "Program Live" that contained 250 short recorded lectures. He was also named an Honorary Professor of the Amity University School of Engineering and Technology.
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
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).
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."
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.’ ”
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:
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.