other stuff
Logic Puzzle Adventure: The Alexa Files
CS340 Final Project
A web-based logic puzzle game with constraint-based challenges: wolf-goat-cabbage river crossing, magic squares, and knights & knaves problems. Modeled in Z3 and Alloy, built with Flask.
When Losing Means Winning
Algorithmic Fairness in Mario Kart
An analysis of Mario Kart Wii's dynamic difficulty systems through the lens of algorithmic fairness. Exploring whether it's fair to give losing players better items.
Websites I've Built
Here are some websites I've developed:
National Korean Student Alliance
• Platform supporting Korean American student organizations
Wellesley KSA
• Korean Student Association website