I am a postdoctoral researcher in Henzinger Group at the Institute of Science and Technology (IST) of Austria. I was a graduate student at IMDEA Software Institute under the supervision of Pavithra Prabhakar.
The broad goal of my research is to develop and implement algorithmic methods for the design of robust cyber-physical systems (CPS). My main interests lies on the development and application of verification and synthesis techniques to hybrid systems. I investigate the application of formal methods to the verification of stability and to the data-driven synthesis of hybrid systems, and implement the theoretical results in software tools such as Averist.