No Image Available

Research interests:

Nonclassical logics, Automated reasoning, Verification and Synthesis of systems

Bio:

Throughout my time at the ANU I have been approaching computational logic as both a producer and a consumer. In two different CSIRO summer projects, I looked at how I could use existing logics and tools to help automatically combine web services, as well as synthesise programs for sensor networks. In projects at the ANU I have worked on an interface to HOL4 to allow a more 'natural' style of computer checked proof, as well as implementing theorem provers for logics such as computation tree logic, linear temporal logic, intuitionistic logic, biintuitionistic tense logic, and the modal μ-calculus.