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.
Fully Automated and Correct-by-Construction Synthesis for Complex
which is funded by the
German Research Foundation
aims at advancing abstraction-based controller synthesis methods
to facilitate the practical applicability of the approach.
The research group
Certifiable Autonomy in Unmanned Aerial Vehicles,
has its focus on methods to enable Unmanned Aerial Vehicles
(UAVs) to fully autonomously perform complex missions, which are not
waypoint based, in a safe and reliable manner.
Current Group Members:
Former Group Members: