Dr. Stefan Schupp
Wissenschaftlicher Mitarbeiter (Post Doc)
Raum 802a
Tel: +49 251 83-32702
sschupp@wwu.de
Sprechstunde: nach Vereinbarung.

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.

Publikationen

Lehre