Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Koundinya Vajjha

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

CPP 2021 A Formal Proof of PAC Learnability for Decision Stumps
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Show activities from other conferences

POPL 2021-profile
View general profile