Experience

Sep 2023 ‑ Present

Software Developer, Lorica Cybersecurity

Toronto, ON

Developing features for applications of Fully Homomorphic Encryption and Confidential Computing

    Sep 2019 ‑ Apr 2023

    Research Assistant, University of Waterloo

    Waterloo, ON

    Empirical CS research in automating the Boolean Satisfiability Problem, advised by Dr. Vijay Ganesh

    • Developed hypotheses and experiments to correlate solver performance with problem parameters

    • Led the design and implementation of an advanced class of SAT solvers using Extended Resolution

    • Advised undergraduate students on the design and implementation of parallelization and machine learning techniques for Satisfaction-Driven Clause Learning SAT solvers

    May 2020 ‑ Aug 2020

    CAD Software Architecture Intern, NVIDIA Corp.

    Santa Clara, CA

    Developed features and implemented optimizations in C++ for GPU performance analysis tools

    • Profiled application using tools such as perf and cachegrind to identify performance bottlenecks and optimization opportunities

    • Parallelized computation and file I/O operations to speed up overall execution time by 2.5x

    Sep 2019 ‑ Dec 2019

    Software Development Intern, Darkvision Technologies Inc.

    Vancouver, BC

    Developed data visualization tools and features in C++ for an ultrasound-based 3D imaging device

    • Implemented a tiled HEVC video codec to speed up GPU encoding, increasing throughput by 4x

    • Migrated CPU-based visualization tool to DirectX 12, improving performance and maintainability

    • Created an interactive graphing tool to correlate field data with design specifications

    Jan 2019 ‑ Apr 2019

    Game Programmer Intern, Behaviour Interactive

    Montreal, QC

    Implemented backend features for multiple video games using TypeScript with Node.js

    • Designed a rich presence system to broadcast and log player activity with Redis and DynamoDB

    • Implemented first-party microtransactions for purchasing game items using Nintendo’s REST API

    May 2018 ‑ Aug 2018

    Software Developer Intern, Universe Projects Inc.

    Toronto, ON

    Added features and improved infrastructure for a cross-platform Java video game

    • Developed a configurable particle effects system and game item collection infrastructure

    • Implemented a system for synchronizing game objectives using Google Cloud Datastore

    Education

    2022 ‑ 2023

    Master of Applied Science, Electrical and Computer Engineering

    University of Waterloo

    CGPA: 95.5%

    NSERC Canada Graduate Scholarship - Master’s

    Engineering Excellence Fellowship

    President’s Graduate Scholarship

    Dean’s Entrance Award

    TA for ECE459: Performance Programming

    2017 ‑ 2022

    Bachelor of Applied Science, Honours Computer Engineering

    University of Waterloo

    CGPA: 91.9%

    1st in Class Scholarship

    Dean’s Honour’s List

    NSERC Undergrad Studies Research Award

    Publications

    Prioritized Unit Propagation and Extended Resolution Techniques for SAT Solvers

    Thesis, 2023

    Learning Shorter Redundant Clauses in SDCL Using MaxSAT

    SAT 2023

    On the Hierarchical Structure of Practical Boolean Formulas

    SAT 2021