Dr Jonathan Hayman
BA (London), PhD
Ext. Director of Studies
I am a Research Associate within the Theory and Semantics Group of the Computer Laboratory, University of Cambridge working on the ERC Project ECSYM. I am also the Director of Studies in Computer Science at Emmanuel College. I completed my PhD titled Petri net semantics in 2009 under Glynn Winskel and am currently working on the relationship between process logics and independence models. I have also previously worked at ENS/INRIA in Paris with Jérôme Feret and, long ago, was a student with Philippa Gardner at Imperial College. My specific interests include:
- Models for biochemical systems
- Independence models for concurrent programming languages
- Concurrent separation logic
- Models for semi-structured data
- Models for security
- Game theory
Set Theory for Computer Science - MPhil ACS course. Michaelmas term 2010-11.
Topics in Concurrency - Part II course. Easter term 2010-11. Lent term 2012-13, 2014-2016
Advanced Topics in Concurrency - MPhil ACS course. Easter term 2010-11.