Short biographyI am a computer scientist interested in analysis, formal verification, and synthesis of software systems and dynamical systems. I received my Ph.D. degree from the University of Freiburg, Germany, in 2018. Currently I am a postdoctoral fellow at IST Austria. See here for a full CV.
Am Campus 1