Posted: 9th May 2016

The 2016 Gödel Prize has been awarded to Oxford alumnus Stephen Brookes - and co-winner Peter W. O'Hearn -  for their invention of Concurrent Separation Logic, as described in the following two papers:

• S. Brookes, A Semantics for Concurrent Separation Logic. Theoretical Computer Science
• P. W. O’Hearn, Resources, Concurrency, and Local Reasoning. Theoretical Computer Science

The Gödel Prize recognizes their major contributions to mathematical logic and the foundations of computer science. 

Stephen is now a Professor of Computer Science at Carnegie Mellon University. He obtained both his undergraduate degree and his doctorate from Oxford University.

Read more: http://goo.gl/haB9w8