I work on smart and fast systems.
That broadly includes AI, computer systems, and where they intersect. I also love psychology, cooking, writing, art, staying active, and collecting rocks.
I study Computer Science and Cognitive Science at the University of Waterloo.
Jan 2025 - Apr 2025
Enabled launch of new AI features in the Bloomberg terminal by optimizing pathfinding within a knowledge graph. Reduced latency by nearly 3 orders of magnitude with algorithms and zero-copy strategies.
May 2024 - Aug 2024
Released a debugging tool for distributed systems to over 300 engineers. Fixed an org-wide observability bug causing missing data in distributed traces that went unsolved for 6 months.
Oct 2023 - Apr 2024
Infrastructure work for an autonomous racing team. Created data visualizations used by a team-authored paper accepted to ICRA 2025.
Jul 2023 - Aug 2023
Prototyped a rule-based system to score the quality of internal APIs. Designed a grammar and parser for scoring guidelines.
An automated theorem prover supporting full first-order logic and smart premise selection. Currently a work-in-progress.
Terminal-based text editor built from scratch in C++. Supports most Vim commands, undo, macros, and efficient text manipulation.