Posted by Rob Knies The Symposium on Principles of Programming Languages (POPL) is an annual gathering of thought leaders from around the world to discuss all aspects of programming languages and systems, so it is a given that as the 40th instance of the event gets under way in Rome on Jan. 23...

Posted by Rob Knies Congratulations to Georges Gonthier , a principal researcher at Microsoft Research Cambridge , for winning the 2011 EADS Foundation Grand Prize in Computer Science. Gonthier, who spends a significant amount of his time collaborating with French researchers from INRIA at the Microsoft...