Forschungsinteressen

Meine Forschung konzentriert sich auf die Erreichbarkeitsanalyse linearer hybrider Systeme durch Flowpipe Konstruktion. In diesem Zusammenhang entwickele ich eine C++ Programmbibliothek für Zustandsraumdarstellungen im Kontext des Projektes HyPro, welche auch unter github verfügbar ist. Des Weiteren interessiere ich mich für SMT-solving; ich trage zur Entwicklung des SMT-solvers SMT-RAT bei, indem ich das Modul für Interval Constraint Propagation (ICP) entwickele und warte.