Projects
Koka Contributions
I actively contribute to the core Koka compiler and language server, and organize the koka-community GitHub organization to foster libraries and tooling for the language.
PhD Research: Control Flow Analysis
My PhD research focuses on designing robust control flow analysis (CFA) for algebraic effect handlers. As part of this research, I have contributed to significant enhancements in the Koka ecosystem.
View my Research Assets, VS Code Extension, and interactive Code Samples →
Master's Projects
Educational impact research games and strategic AI interaction sites.
Open Source Frameworks & Tooling
Contributions to state management libraries, AST parsers, and robotics bridging.