Am Campus 1
Trustworthy cyber-physical systems, formal methods, reliable software, model-based software development, bug finding, hybrid planning, systems biology
I am currently a postdoctoral researcher in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria). I completed my PhD at the University of Freiburg, Germany in 2015 under the supervision of Andreas Podelski.
My research broadly concerns the development of algorithms for the analysis of hybrid systems. In particular, I am interested in directed model checking approaches for hybrid systems and developing precise yet efficient abstractions of them. Also, we have recently been exploring the applicability of symbolic methods to the hybrid planning domain. In addition to that, we are examining the biological models by using the notion of hybrid systems. For more details please refer to my CV.
University of Freiburg: