2016 Gödel Prize awarded to Oxford alumnus Stephen Brookes
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