Curriculum Vitae

Please find below a brief history of my professional experience and education.

Abbreviations

UNSW

The University of New South Wales

CSE

School of Computer Science and Engineering

Education

• 2024. Study abroad at the Centre for Japanese Language 日本語教育研究センター, Waseda University 早稲田大学, Tokyo, Japan

• 2025. BAdvCompSci, CSE, Faculty of Engineering, UNSW, Australia

  • Thesis. Refining seL4’s Accounting of Touched Addresses for Time Protection, supervised by Dr Rob Sison
  • Grade. First Class Honours
  • Faculty of Engineering Dean’s Honours List, Highly Commended

Industry Experience

• Dec 2024 – Feb 2025. Software Engineer Intern at Jane Street Capital, Hong Kong
• Dec 2025 – Feb 2026. Performance Engineer Intern at Jump Trading, Sydney, Australia
• (Incoming) 2027. Quantitative Technology Analyst at Qube Research and Technologies, Sydney, Australia

Academic Experience

• 2023 – present. Teaching Assistant (Casual Academic), CSE, UNSW, Australia
  • COMP2521 Data Structures and Algorithms — 23Tn, 25T1, 25T2
  • COMP3161 Concepts of Programming Languages — 23T3, 24T3
  • COMP2111 Foundations of Formal Methods — 26T2 (first run)
• Aug 2023 – Mar 2024. Student Intern, Trustworthy Systems Group, CSE, UNSW, Australia
  • Topic. Automating Verification of Memory Safety for Pancake Programs, supervised by Dr Johannes Åman Pohjola
  • Funded by the Faculty of Engineering Taste of Research Scholarship
• May 2026 – present. Proof Engineer, Trustworthy Systems Group, CSE, UNSW, Australia
  • More details on my Trustworthy Systems profile