Short biographyI am a computer scientist interested in analysis, formal verification, and synthesis of dynamical, cyber-physical, and software systems, and explainable artificial intelligence. Currently I am working at the University of Konstanz, Germany. I received my Ph.D. degree under supervision of Andreas Podelski from the University of Freiburg, Germany, in 2018. I was a postdoctoral fellow with Thomas A. Henzinger at IST Austria. See here for a CV.
Upcoming eventsConsider participating in our workshop Wolverine on October 18, virtual and collocated with ATVA.
ContactUniversity of Konstanz
+49 7531 88-2404