Koundinya Vajjha

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:

You can find more in the things I've written.