I have always been interested in discovering the relation between
software and mathematics. In particular, I am interested in using this to strengthen
the guarantees of software using formal methods and techniques.
2021–2021 COMP3153/COMP9153, University of New South Wales, Sydney, Australia
Lecturer in Charge: Dr Paul Hunter
Designed and conducted tutorials for the COMP3153/COMP9153 – Algorithmic Verification course held in Term 2, 2021.
2020–2021 COMP3121/COMP9101, University of New South Wales, Sydney, Australia
Lecturer in Charge: AProf Aleksandar Ignjatovic
Managed student forums and marked students' assignments and final examinations
for the COMP3121 – Algorithms and Programming Techniques and COMP9101 – Design and Analysis of Algorithms courses held in Term 2, 2021 and Term 2, 2020.
2019–2020 COMP2121, University of New South Wales, Sydney, Australia
Lecturer in Charge: Prof Sri Parameswaran
Managed student forums, conducted lab demonstrations and marked students' assessments for the COMP2121 – Microprocessors and Interfacing course held in Term 1, 2019 and Term 1, 2020.
Seung Hoon Park, Rekha Pai, and Tom Melham.
A Formal CHERI-C Semantics for Verification. In Sriram
Sankaranarayanan and Natasha Sharygina, editors,
Tools and Algorithms for the Construction and Analysis
of Systems, volume 13993. Springer Cham, May 2023.
[ bib |
A BiBTeX file of the publications above is available here.