Funding
I very gratefully acknowledge ongoing or past support from the organisations listed below.
Grants
- International Exchanges Scheme 2016/R3
- Game Semantics for Java Programs
- Computer Science Small Grant (Scheme 7)
- International Travel Grant 2010/R4
- Automated Verification of Probabilistic Programs
- Towards a Game Semantics of Concurrency, Objects and Mobility