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.
May 2026 - Aug 2026
Distributed locking and scheduling reliability for the world's most scalable sandboxes. Designed the new event-processing system used for all sandbox and function lifecycle events.
Sep 2025 - Dec 2025
Compiler infrastructure for a novel analog compute chip. Built compute and memory primitives, devised heuristics for NP-hard scheduling, and added while-loops to the kernel programming model.
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 graph 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.
An automated theorem prover supporting full first-order logic with smart premise selection using embedding-based heuristics.
Terminal-based text editor built from scratch in C++. Supports most Vim commands, undo, macros, and efficient text manipulation.
