John Wickerson

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