My interests currently center on cryptography, machine 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.

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