My research interests include the theory and applications of continuous, discrete, and hybrid dynamical systems. Much of my current work is directed toward the long-term goal of
Please feel free to contact me to explore the possibility of cooperation. You may also check to see if we have any current openings.
I am the Principal Investigator of the project
Fully Automated and Correct-by-Construction Synthesis for Complex
which is funded by the
German Research Foundation
and aims at advancing abstraction-based controller synthesis methods
to facilitate the practical applicability of the approach.
I also head the research group
Certifiable Autonomy in Unmanned Aerial Vehicles,
which is funded by
Here we focus on methods to enable Unmanned Aerial Vehicles
(UAVs) to fully autonomously perform complex missions, which are not
in a safe and reliable manner.
Current Group Members: