We use cookies to ensure we give you the best experience on our website. If you continue without changing your settings, we'll assume that you are happy to receive cookies from this website. However, you can change your preferences by following these instructions.

Accept and close

Global Search
Page banner

A friendly and healthy environment
in which to learn and find yourself

Rachel, 3rd Year

Dr Jonathan Hayman

Photo of 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
  • Databases
  • Models for semi-structured data
  • Models for security
  • Game theory

Teaching Interests

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.


Share this page

Share Share Share Share