Skip to main content

2016 Gödel Prize awarded to Oxford alumnus Stephen Brookes


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:

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: