I am a math PhD student at the University of Pittsburgh. My advisor is Tom Hales.
My research interests are in Discrete Geometry, Optimal Control Theory and Formal Verification.
I also hold a Certificate in Quantitative Finance.
- “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.