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.
![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.](/statements/Rmap.png)
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.