Abhinav Verma (Preferred)
Abhinav Verma
Assistant Professor, Pennsylvania State University
Joined
September 2018
Names
Emails
****@rice.edu (Confirmed)
****@gmail.com (Confirmed)
****@psu.edu (Confirmed)
****@ist.ac.at
****@utexas.edu (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Pennsylvania State University (psu.edu)
2022 – Present
Postdoc
Institute of Science and Technology Austria (ist.ac.at)
2021 – 2022
PhD student
University of Texas, Austin (utexas.edu)
2020 – 2021
PhD student
Rice University (rice.edu)
2016 – 2020
Advisors, Relations & Conflicts
Expertise
Deep Learning
2016 – Present
Program Synthesis
, Verification
2016 – Present
Reinforcement Learning
2016 – Present
Publications
Co-Authors
- Ameesh Shah
- Ankit B. Patel
- Anshuman Dutt
- Cameron Voloshin
- Chenxi Yang
- Darshan Chudiwal
- Eric Zhan
- Greg Anderson
- Gábor Orosz
- Hayden Moore
- Hoang Minh Le
- Isil Dillig
- Jennifer J. Sun
- Jing Xiao
- Joel Burdick
- Joel W. Burdick
- Jonathan Dodge
- Joshua J. Michalenko
- Krishnendu Chatterjee
- Mathias Lechner
- Peng Chang
- Pushmeet Kohli
- Richard Cheng
- Richard G. Baraniuk
- Rishabh Singh