I am a 3rd year PhD student advised by Paul Downen and Tibor Beke. I work in formal verification, type theory, and cryptography. My research focuses on designing a small trusted kernel for expressive type systems and on mechanizing mathematical and cryptographic reasoning in proof assistants.
📌 Seeking Summer 2027 Internships
I am currently looking for internship opportunities in formal verification.
If you know of any opportunities that might be a good fit, please feel free to reach out.
Ongoing Projects
- Pint: Small trusted kernel for encoding and type checking a variety of programs, logics, and paradigms.
- Interactive Zero-Knowledge Proofs: Mechanizing definitions and security proofs for interactive ZK protocols.
- TensorLib Mechanizing floating points formats and error bounds in mixed-precision computations in Lean.
Outside of research I enjoy traveling, exploring US national parks, and cooking.