About Me
I am a 2nd year computer science PhD student at the Courant Institute of Mathematical Sciences, New York University, advised by Joseph Tassarotti. I am broadly interested in formal methods. Lately, I have been working at the intersection of programming languages and formal verification for security properties.
In the past I have worked with Thomas Wies and Eric Koskinen on developing an abstract-interpretation analysis for verifying certain temporal properties of recursive, higher-order programs.
During a remote internship at TIFR, with Shibashis Guha, I also worked on developing statistical-model-checking techniques to estimate certain LTL objectives for discrete- and continuous-time markov decision processes.
Preprints
Logical Relations for Formally Verified Authenticated Data Structures
Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
Paper
Inferring Accumulative Effects of Higher Order Programs
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies
Paper Code
Publications
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
Chaitanya Agarwal, Shibashis Guha, Jan Křetínský, Pazhamalai Muruganandham
CAV 2022
Extended version invited to and accepted in Formal Methods in System Design 2024
Paper Code Extended Version