Previously, I was a postdoc at the Verification Group in Université libre de Bruxelles and at The Hebrew University in the group of Prof. Orna Kupferman. I did my PhD from the Department of Computer Science and Engineering at IIT Delhi. My PhD advisor was Prof. S. Arun-Kumar. I am interested in reactive synthesis, probabilistic systems, timed automata, behavioural equivalences, formal methods and its intersection with algorithmic game theory.
Email: firstname @ tifr.res.in
- Joint work with Chaitanya Agarwal, Jan Kretinsky, and M. Pazhamalai on PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP has been accepted in CAV 2022.
- Joint work with Benjamin Bordais, Damien Busatto-Gaston, and Jean-Françoi Raskin on Strategy Synthesis for Global Window PCTL has been accepted in ICALP 2022.
- I am on the PC of FSTTCS 2022. Please consider submitting your papers.
I am co-organizing STCS Vigyan Vidushi 2022, a summer school for women undergraduate and masters students, to be held between 2-15 July. Please consider applying and also spread the word and encourage women students to apply. You may also use the poster to advertise in your institute or department.