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.