Home
I am a Formal Verification Engineer at Intel Corporation.
In August 2022, I completed my Ph.D. in Mathematics at University of Pittsburgh, where I was advised by Tom Hales.
Research Interests
My research interests are in Discrete Geometry, Optimal Control Theory and Formal Verification. I also hold a Certificate in Quantitative Finance.
Internships
- Oracle Labs from May-July 2019.
- MIT-IBM Watson AI Lab from July-September 2020.
Papers
- "On the Reinhardt Conjecture and Formal Foundations of Optimal Control" (Ph.D. Thesis)
- “Formalization of a Stochastic Approximation Theorem” (with Barry Trager, Avi Shinnar and Vasily Pestun) Accepted to ITP 2022
- “CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq” (with Avi Shinnar, Barry Trager, Vasily Pestun and Nathan Fulton) Accepted to CPP 2021
- “A Formal Proof of PAC Learnability for Decision Stumps” (with Joseph Tassarotti, Anindya Banerjee and Jean-Baptiste Tristan) Accepted to CPP 2021
- “On Pythagorean Triples of the Form (i,i + 1,k)” in Resonance: Journal of Science Education,September 2009, Volume 15, Number 09.
- “On a Definite Integral of the Fractional Part Function” in Resonance: Journal of Science Education,May 2012, Volume 17, Number 05.
You can find more in the things I've written.