Home

Koundinya Vajjha

I am a Formal Verification Engineer at Intel Corporation.

In August 2022, I completed my Ph.D. in Mathematics at the 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

Books

Papers

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