Anvay Grover

About Me

I am a graduate student in the Computer Science Department at the University of Wisconsin-Madison. I’m currently looking to transition from academia to an industry role in Software, Product or Applied Science. My academic background is in Programming Languages and Formal Methods research, but I’m also open to opportunities in other areas, particularly in climate tech and digital infrastructure.

I previously graduated from Princeton University with a BA in Computer Science and a certificate in Cognitive Science in 2020.

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

Research Interests

Programming Languages
Formal Methods

News

[Sept. 2023] Finished my return internship as an Applied Scientist in the Automated Reasoning Group at Amazon
[Sept. 2022] ‘Synthesizing Transducers from Complex Specifications’ to appear at FMCAD 2022
[Feb. 2022] I’ll be an Applied Scientist Intern in the Amazon Automated Reasoning Group this summer
[Oct. 2021] Attended OOPSLA 2021, my first in-person conference

Publications

Synthesizing Transducers from Complex Specifications
Anvay Grover, Ruediger Ehlers, Loris D’Antoni
Formal Methods in Computer-Aided Design. FMCAD 2022 [arXiv]
Compiling with Continuations, Correctly
Zoe Paraskevopoulou, Anvay Grover
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2021 [PDF]

Teaching

Fall 2020: TA for CS536 (Introduction to PLs and Compilers) with Aws Albarghouthi
Spring 2021: TA for CS536 (Introduction to PLs and Compilers) with Loris D’Antoni