My CV

Note: This page is a work in progress. Hopefully it still gives you the information you need.
Last updated: June 2026

Email: [email protected]
Personal web page: zoravur.com
Bachelor of Computer Science, University of Waterloo

Email is the best way to reach me.

Education

• Bachelor of Computer Science, Honours
  Minor in Pure Mathematics
  University of Waterloo
  2018-2024

Research Projects

• Formalizing implementation of Simply Typed Lambda Calculus in Lean4. — May 2026 — Ongoing
• Formalized an implementation of insertion sort in Lean4, proving permutation and ordering lemmas. — May 2026

Research Experience

• Research Assistant — September 2022
  • Formalized an independent/alternative Coq mechanization of CC<:□ in A-normal form, under supervision from Prof. Ondřej Lhoták and Edward Lee.

Professional Experience

• Software Developer
  Solutions That Matter
  January 2024 — Present
  • Developing order processing and financial reconciliation software.
• Software Developer Intern
  Dealmaker
  2023
  • Assisted with Business Analytics and Intelligence by writing SQL.
• AI Engineering Intern
  Royal Bank of Canada
  September 2021 — April 2022
  • Created an order matching engine as part of the test bed for the RL trading model Aiden.
• Instructional Support Assistant
  University of Waterloo
  January 2021 — April 2021
  • Assisted with teaching, office hours, marking, and updating the course website.
• Software Developer Intern
  Arcturus Networks
  May 2020 — August 2020
  • Built the companion web app for controlling and configuring our IoT edge inference platform.
• Software Developer Intern
  ROSS Intelligence
  May 2019 — August 2019
  • Built the subscription page, developed a demo mode for the core app, and ran many A/B tests as part of Growth Engineering.