Abhinav Verma

Abhinav Verma

Hartz Family Career Development Assistant Professor

Application Materials

I am currently applying for tenure-track faculty positions. I expect to graduate in Spring 2021. This page contains my application materials and a pictorial overview of my research.

CV

Research Statement

Teaching Statement

Diversity Statement

Overview of my research around the theme of Trustworthy AI. Topics on the left and right leverage logical specifications and programmatic models, respectively. Foundational research problems are towards the bottom, and applications are towards the top.
Overview of my research around the theme of Trustworthy AI. Topics on the left and right leverage logical specifications and programmatic models, respectively. Foundational research problems are towards the bottom, and applications are towards the top.