![Koundinya Vajjha](https://popl21.sigplan.org/getProfileImage/koundinyavajjha/4c46e8fd-f504-4e8b-8f90-b5b1ae9e4e18/small.jpg?1712458229000)
Registered user since Wed 25 Nov 2020
Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Personal website: https://kodyvajjha.github.io/
GitHub: https://github.com/kodyvajjha
Research interests:Formal Verification, Reinforcement Learning, Discrete Geometry, Optimal Control
Contributions
POPL 2021-profile
View general profile
View general profile