direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Postal Address

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
sec. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin