Page Content
I was a postdoc here in the PES group at TU Berlin, funded by a University of Cambridge Kurt Hahn Trust scholarship from the DAAD. I was previously a PhD student in the Programming, Logic and Semantics Group at the University of Cambridge Computer Laboratory, supervised by Matthew Parkinson and Glynn Winskel. I'm currently interested in rely-guarantee reasoning, diagrammatic proof systems for separation logic, and logics for verifying concurrent programs.
See my Cambridge webpage for more information, including my publications.
From July to October 2011, I was an intern at European Microsoft Innovation Center in Aachen, where I worked on the VCC project. From April to July 2010, I was an intern at Microsoft Research Cambridge, where I was supervised by Sir Tony Hoare.
Email: johnw(at)mail.tu-berlin.de