Interests and expertise

I have a deep interest in correct programming. I completed my Honours thesis in the field of Program Analysis in partnership with Oracle Labs Australia. Since joining Supra, my focus has shifted more towards Distributed Systems. My research has focused heavily on Byzantine Fault Tolerant protocols, including protocols for State Machine Replication and Verifiable Data Dissemination.

Commentary

My work at Supra is primarily focused on the development of novel algorithms and protocols for application in our distributed systems. This includes researching the current state-of-the-art, innovating new designs and materialising them in formal specifications. I convert these specifications into proof-of-concept implementations and use them to evaluate our designs. I also work alongside the Engineering team to integrate our work into Supra's production systems.

Selected research publications