Zero Knowledge Proofs for 3-colorable graphs
A Zero Knowledge Proof (ZKP) to convince a verifier that a graph is 3-colorable without revealing the coloring. (Final project for Brown CSCI1515: Applied Cryptography)
Re-Font Chrome Extension
A Chrome Extension that lets you to customize the font, size and color of text on any webpage. Use it to meet your style needs, or just to make text easier to read.
Quantum Mechanics Proofs Library
Library in Lean 3 to model and prove statements about quantum particles. I then used the library to prove the no-cloning theorem. (Final project for Brown CSCI1951X: Formal Proof and Verification)
Adversarial sticker
Created a sticker that can be placed in a scene and cause image classifiers to misclassify the scene. (Final project for Brown CSCI1952Q: Algorithmic Aspects of Machine Learning)
Bus Route Optimization Algorithm
Genetic algorithm to optimize bus routes for the city of Somerville, MA.
Strava Data Visualization Web App
Interactive web app that visualizes a user's Strava data
Voxel Carving
Creates a 3D representation of an object from a set of 2D images using the voxel carving algorithm.
Interactive fluid simulation
A web-based fluid simulation that allows users to interact with the fluid in real-time using mouse input.