Hi there 👋

I’m a junior at Brown University studying Computer Science and Mathematics, with current interests in cryptography, deep learning, and formal proof verification.

Check out my projects below, but also take a look at some of my other stuff and try to find all the easter eggs!
I’m feeling lucky

Projects

12 May 2025

Cryptographic Voting with Multiple Candidates

Extension of the Helios Voting Protocol to support multiple candidates

9 May 2025

Unboxing the Black Box

Human-Inspired CNNs for Explainability and Efficiency

7 Dec 2024

Robust Estimation for the Erdős-Rényi Model

Final project for CSCI 2952Q: Robust Algorithms in Machine Learning

21 Oct 2024

Visualizing Spectral Graph Theory

A Manim project explaining spectral graph theory

19 May 2023

Across the Spider-Verse Style Transfer

Recreating the universes of Across the Spider-Verse by using Style Transfer

Other

4 Jul 2025

Img to ASCII

Convert images to ASCII art

29 Jun 2025

Julia Set Filter

Become the Julia Set with your webcam

28 May 2025

An MNIST Demo Using TensorFlow.js

A simple TensorFlow.js implementation of MNIST

22 May 2025

NYT Connections Solver

Solving the NYT Connections using graph partitioning and word vectors

20 Apr 2025

Interactive Proofs of Intro Euclidian Geometry

Some Euclidean constructions from Euclid’s Elements

30 Dec 2024

Warping an Image into a Möbius Loop

A simple Python script to warp an image into a Möbius loop

30 Jul 2024

Desmos Mandelbrot Set

A couple ways to create the Mandelbrot set in Desmos