I am a math PhD student at the University of Pittsburgh. My advisor is Tom Hales and I work on the Formal Abstracts project.
I also hold a Certificate in Quantitative Finance.
In the summer of 2019, I interned at Oracle Labs where I helped formally verify a proof of PAC Learnability for Decision Stumps.
In the summer of 2020, I interned at MIT-IBM Watson AI Lab where I formally verified convergence proofs of classic Reinforcement Learning algorithms.
A couple of publications from a long long time ago:
- “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.