University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD
Welcome to my home-page.
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 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:
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.
Advanced Topics in Concurrency - MPhil ACS course. Easter term 2010-11.
Graphs, rewriting and causality in rule-based models.
With Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean
Krivine, Chris Thompson-Walsh and Glynn Winskel.
To appear at FSTTCS, 2012. [pdf]
Containment in rule-based modles. With Chris Thompson-Walsh and Glynn
SASB 2011. [pdf]
Granularity and concurrent separation logic
CONCUR 2011, Aachen September 2011. [pdf]
Petri net semantics
PhD thesis. Computer Laboratory, University of Cambridge. January 2009. [pdf]
Also available as UCAM-CL-TR-782
Symmetry in Petri nets. With Glynn Winskel
Perspectives in Concurrency. K Lodaya, M Mukund, and R Ramanujam (eds), Universities Press. 2008. [pdf]
The Unfolding of General Petri Nets. With Glynn Winskel
FSTTCS 2009, Bangalore. [pdf]
Independence and concurrent separation logic. With Glynn Winskel
Journal version appears in LMCS vol. 4 issue 1 [pdf] [ps]
Extended abstract as presented at LICS 2006. Copyright © IEEE 2006. [pdf] [ps] [slides]
Last modified: 10/10