My research is mainly on formal verification of software. As part of the Trustworthy Systems research group, I am working on formal reasoning techniques for the correctness of operating systems' schedulers. 

In the recent past, I was a postdoctoral research fellow at the ANU, where I had worked on (1) models of hardware-level behaviours, and (2) computer-checked verification of concurrent programs.