TU Berlin

Software and Embedded Systems EngineeringJohn Wickerson

SESE-Logo in blau

Page Content

to Navigation

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


Quick Access

Schnellnavigation zur Seite über Nummerneingabe