Projects
Featured
TAO Roadmap
An interactive tool that guides practitioners through the Causal Roadmap framework for real-world data studies, including target trial emulation and causal inference methodology selection. In collaboration with Andrew Wilson, Aimee Harrison, and Jeff Zhou.
Featured
NYC Bread Run
A scrappy top-down NYC arcade game. Play as a pigeon or a rat scurrying through stylized city streets, gobbling every crumb of bread while dodging street cleaners. Along the way there are Frogger-style bridge crossings, a black-belt power-up from Coach Quinn, an escaped Bronx Zoo tiger, and a fighting-game finale against a broom-wielding mayor. It's pure static vanilla JS, with no framework or build step behind it.
Featured
Sandy
An autonomous AI agent that forages across Wikipedia, academic papers, and news to discover "sandwiches"; i.e. structured knowledge artifacts where two related concepts (the bread) meaningfully bound a third (the filling). Each sandwich is validated across five weighted dimensions including novelty, specificity, and non-triviality.
He has vast intelligence. He chooses to make sandwiches.
Open Ramsay
Open-source attempt to prove R(5,5) ≥ 44 in Ramsey theory. Uses algebraic graph constructions, local search optimization, SAT solvers, and formal verification in Lean 4.
JudoBot
A reinforcement learning agent that learns Judo tactics via Q-learning. Models grip control, stance, and fatigue in a simulated environment.
Bayesian Metal Genre Analysis
Bayesian statistical analysis of metal music genres across Germany, Norway, Sweden, and the UK, with a hierarchical genre classification system.