Keywords
Fields of Research (FoR)
Formal methods for software, Concurrency theory, Software testing, verification and validationMy Qualifications
PhD Auckland 2022
My Research Activities
I am a researcher in the field of Formal Methods, which studies mathematical methods for reasoning about various aspects of computing.
As part of the Trustworthy Systems research group, I currently work on formal reasoning techniques for the correctness of schedulers.
This is part of the PISTIs-V project, which aims to integrate the seL4 operating system microkernel...view more
My Qualifications
PhD Auckland 2022
My Research Activities
I am a researcher in the field of Formal Methods, which studies mathematical methods for reasoning about various aspects of computing.
As part of the Trustworthy Systems research group, I currently work on formal reasoning techniques for the correctness of schedulers.
This is part of the PISTIs-V project, which aims to integrate the seL4 operating system microkernel with the RISC-V hardware architecture. More information can be found on the website of Trustworthy Systems group (below).
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.