SelfReflectiveRatings
Full-stack web app for personality self-assessments and multiplayer peer rating games. Built with React, Supabase, PostgreSQL, and deployed on AWS Amplify.
Tech: React, Supabase, Vite, PostgreSQL, AWS Amplify
Portfolio
Pointer Analysis Framework Optimization
Optimized pointer analysis for OOP languages with reinforcement learning integration, improving precision beyond 2-object sensitivity.
Tech: Souffle/Datalog, Java, Groovy, Python
Burning Graph Simulator
Graph burning algorithm simulator for studying the Burning Number Conjecture, processing graphs with 500+ vertices.
Tech: Python
Formalizing Graph Burning for Path Graphs in Isabelle/HOL
Machine-checked proof of the Burning Number Conjecture for all path graphs, formalized in Isabelle/HOL. Establishes b(P_n) ≤ ⌈√n⌉ for every path graph P_n.
Tech: Isabelle/HOL, Archive of Formal Proofs
In The Blue
3D multiplayer RPG built for That Game Jam #1 in Unity. Available on Windows and macOS.
Tech: Unity, C#