Abhinav VermaGraduate Student
Abhinav Verma received his PhD in 2021 and will be joining the Computer Science and Engineering department at the Pennsylvania State University as a Hartz Family Career Development Assistant Professor (tenure-track) in Fall 2022. His research lies at the intersection of machine learning and formal methods, with a focus on building intelligent systems that are reliable, transparent, and secure. His work builds connections between the symbolic reasoning and inductive learning paradigms of artificial intelligence. He was awarded a JP Morgan AI Research PhD Fellowship in 2020.