I’m an undergraduate at Brown University pursuing dual Sc.B. degrees in Computer Science and Mathematics (expected May 2026).

My interests currently center on cryptography, deep learning, and formal proof verification. Some of my recent projects include implementing a cryptographic voting protocol, developing methods for robust estimation in adversarial graph models, and creating a Abstract Algebra Lean game.

I’ve used languages like Python, C/C++, Java, and Lean among others, and I’m comfortable with tools like TensorFlow, PyTorch, and CUDA for deep learning, as well Matplotlib, NumPy, and pandas for data analysis.

Unrelated, I’m a big fan of board games, photography, and music.

Here’s my resume.