Guruprerana Shabadi

...you can call me Guru!

PhD student at University of Pennsylvania

CV

I am a PhD student at the University of Pennsylvania where I am advised by Rajeev Alur. I previously graduated from École Polytechnique with bachelor's and master's degrees in mathematics and computer science. My set of core research interests is spanned by the following grammar:

$\Phi \Coloneqq \hspace{0.2cm} \varphi \hspace{0.2cm} \textit{ for } \hspace{0.2cm} \varphi \hspace{0.2cm}$ $\\ \varphi \Coloneqq \text{ synthesis } \mid \text{ verification } \mid \text{ AI } \mid \text{ automation }$

As a result, I am also interested in all topics that play a role in these domains including (but not restricted to) logic, model checking, reinforcement learning, game theory, control, cyber-physical systems, PL, NLP etc.

During my undergrad and masters, I had the honor and pleasure of working with: Alessio Mansutti on optimization in integer linear-exponential programs at the IMDEA Software Institute in Madrid, Spain; Nathanaël Fijalkow on programmatic reinforcement learning (GenPlan'25) at the University of Warsaw; and Caterina Urban on building an abstract interpretation based tool to verify data science Jupyter notebooks(SOAP'23) at ENS Ulm, Paris. And I started my journey in the world of formal methods research working with Sergio Mover on handling communication delays arising in cyber-physical systems at École Polytechnique, Paris.

What's up with me!

Publications