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.
Sep 2025 - Dec 2025
Developed compiler infrastructure for a novel analog compute chip. Built memory and compute primitives, enhanced the kernel programming model, designed heuristics for NP-hard scheduling.
May 2025 - Aug 2025
Researched new algorithms for faster sparse matrix multiplication on GPUs. Supervised by Prof. Xiao Hu and Prof. Victor Zhong.
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.
