Anvay Grover

Anvay Grover

Computer Science PhD Student

University of Wisconsin-Madison


I am a 1st year PhD student in the Computer Science Department at the University of Wisconsin-Madison. I am broadly interested in Programming Languages research, and in Program Verification and Synthesis in particular.

I previously graduated from Princeton University with a BA in Computer Science in 2020. There I worked with Professor Andrew Appel and Professor Zachary Kincaid. My undergraduate thesis was on developing a verified CPS (continuation-passing style) transformation for the CertiCoq compiler.

Outside of work, I enjoy dancing, running and reading.


  • Programming Languages
  • Program Analysis
  • Logic


  • PhD in Computer Science, Current

    University of Wisconsin-Madison

  • BA in Computer Science, 2020

    Princeton University