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