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 |
DOI |
.pdf ]
A BiBTeX file of the publications above is available here.
2023 ETAPS 2023 Participant, Sorbonne Université and IHP, Paris, France
Attending the European joint conferences on Theory And Practice of Software held in Sorbonne Université and IHP, 2023.
Presenting "A Formal CHERI-C Semantics for Verification" in the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Received scholarship to attend the ETAPS Mentoring Workship (EMW).
2023 POPL 2023 Participant, Boston, United States
Attended the Principles of Programming Languages Conference in 2023.
Received full scholarship to attend both the conference and the Programming Languages Mentoring Workshop (PLMW).
2022 FLoC 2022 Participant, Technion-Israel Institute of Technology, Haifa, Israel
Attended the Federated Logic Conference held in Technion-Israel Institute of Technology, 2022.
2022 SPLV 2022 Student, Heriot-Watt University, Edinburgh, United Kingdom
Attended the Scottish Programming Languages and Verification Summer School held in Heriot-Watt University, 2022.
2022 MGS 2022 Student, University of Nottingham, Nottingham, United Kingdom
Attended the Midlands Graduate School in the Foundations of Computing Science held in the University of Nottingham, 2022.
2019 Exchange Student, Georgia Institute of Technology, Atlanta, United States
Attended Georgia Institute of Technology as an exchange student for the Fall 2019 semester.
This document was partially generated using the
LaTeX2HTML translator Version 2020.2 (Released July 1, 2020) and biblatex2html 1.99.
