project gallery
Logic Puzzle Adventure: The Alexa Files
CS340 Final Project • Spring 2025
A web-based logic puzzle game featuring constraint-based challenges including the wolf–goat–cabbage river crossing, magic square, and knights and knaves truth-teller problem, modeled in Z3 and Alloy. Built with Flask, HTML, and CSS.
Algorithmic Fairness in Mario Kart
CS231 Final Paper • Spring 2025
Analysis of Nintendo's item balancing and rubberbanding mechanics through the lens of algorithmic fairness. Includes proposed algorithms for item distribution and circuit adaptation.