I am a Computer Science PhD student in the ISD Lab at the University of British Columbia, supervised by Alan Hu. My primary areas of research interest are formal verification and theory of computation (and the interplay between these areas).

Prior to coming to UBC, I an MSc in Computer Science on approximation algorithms for computational geometry at the University of Windsor, supervised by Ahmad Biniaz and Prosenjit Bose.

My Erdős number is at most 3 (via, e.g., Erdős-Aronov-Bose-Devaney or Erdős-Shallit-Biniaz-Devaney).

Outside of academics, I enjoy reading, yoga, and nature photography.

Research Interests

• Theory of Computation: algorithms, data structures, complexity
• Discrete Math: combinatorial optimization, computational geometry, graph theory
• Formal Methods: verification of hardware and software, automated theorem proving, SAT for math, formalization of math

Education

• PhD in Computer Science, University of British Columbia, 2023-Present
• MSc in Computer Science, University of Windsor, 2021-2023
• BCS(H) in Computer Science (with Great Distinction), University of Windsor, 2016-2021
• BMath(H) in Mathematics (with Great Distinction), University of Windsor, 2016-2021