I am a PhD student with Glynn Winskel in the Computer Lab at the University of Cambridge. I am working on denotational semantics, in particular game semantics, for probabilistic computation. I am also interested in probabilistic programming.
- Forgetting Causality in the Concurrent Game Semantics of Probabilistic PCF, with Simon Castellan, Pierre Clairambault, and Glynn Winskel. Submitted. (PDF)
- Verification of Multi-Agent Systems via SDD-based Model Checking (Extended Abstract), with Alessio Lomuscio . AAMAS15. (PDF)