Grants

2010—2012

Australian Research Council discovery grant (AU$285k, with Ron van der Meyden, Yoram Moses, and Thomas Wilke)
A formal foundation for security architecture

2008

UNSW Goldstar grant (AU$40k, with Ron van der Meyden)
Computer Security Analysis and Design Methodologies incorporating Reasoning about Time, Probability and Strategies

2004—2006

Australian Research Council discovery grant (AU$150k, with Ron van der Meyden)
Refinement of temporal and epistemic specifications in asynchronous systems

2004

Faculty Research Grant Program (FRGP) (AU$19.9k — rescinded)
Refinement of temporal and epistemic specifications in asynchronous systems

2002

Australian Research Council Large grant (AU$50k)
Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time

2000

Australian Research Council Small grant (AU$13.2k, with Ron van der Meyden)
Compositional abstraction for model checking distributed systems designs using the logic of knowledge and time