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