Research
I work at the intersection of programming languages and cryptography.
Now
Programming Languages
Equivalence checking and code optimization for finite-field computations in cryptographic implementations, with an emphasis on correctness and performance.
Before
Cryptography & Systems
Cryptographic primitives and protocols, discrete mathematics, and computer architecture. My undergraduate thesis explored a function-level abstraction of ring signatures.
Also
History of Mathematics & CS Education
Interested in how mathematical ideas developed and spread across cultures and centuries, and in curriculum design, educational tools, and how AI is changing what and how we teach computer science.