In the news | ACM SIGPLAN
Simon Peyton Jones and Simon Marlow receive the SIGPLAN Software Award as the authors of the Glasgow Haskell Compiler (GHC), which is the preeminent lazy functional programming system for industry, teaching, and research.
In the news | New Phytologist
Neil has made important discoveries that provide invaluable insights into the regulation of the circadian clock in Arabidopsis thaliana using a combination of mathematical modeling and experimental intervention.
In the news | NAE
For innovation and leadership in organizing, accessing, and interacting with information.
In the news | CAV
For contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.
In the news | ACM
For contributions to software analysis and defect detection.
In the news | ACM
The Distinguished Members Grade recognizes those ACM members with at least 15 years of professional experience and 5 years of Professional Membership in the last 10 years who have achieved significant accomplishments or have made a significant impact on the…
In the news | MIT Technology Review
Ranveer Chandra made the Microsoft campus in Redmond, WA, his laboratory for the first large-scale network to demonstrate the potential of using white spaces to deliver broadband wireless.
In the news | New Scientist
Imagine simply tapping the back of your hand or forearm to control your smartphone: that's the kind of capability offered by Skinput, the marvellously named brainwave from Microsoft Research.
Computers have increased the reach of biological science, altering the path of medicine with such revolutions as human genome sequencing—which is already causing a shift in treatment approach from epidemiological (based on patterns in the general population) to care that…