Dr. Stephanie Kemper
Kontakt
- E-Mail:
Dr. Stephanie Kemper
Department für Informatik (» Postanschrift)
Curriculum Vitae
| 10/1999 - 01/2006 | Informatik-Studium an der Universität Oldenburg |
|---|---|
| 01/2006 | Informatik-Diplom (mit Auszeichnung) an der Universität Oldenburg |
| 02/2006 - 03/2011 | Wissenschaftliche Mitarbeiterin am Centrum Wiskunde & Informatica, Amsterdam, Niederlande (www.cwi.nl) |
| 12/2011 | Promotion an der Universität Leiden (NL), Titel der Dissertation "Modelling and Analysis of Real-Time Coordination Patterns" |
| 04/2011 - 06/2012 | Wissenschaftliche Mitarbeiterin in der Abteilung Entwicklung Korrekter Systeme |
| 07/2012 - 04/2015 | Wissenschaftliche Mitarbeitern im OFFIS, Gruppe SAV-RSM |
| seit 05/2015 | Wissenschaftliche Mitarbeiterin in der Abteilung Entwicklung Korrekter Systeme |
Forschung
Meine Forschungsinteressen sind
- Realzeitsysteme (Realzeitautomaten, Timed Constraint Automata, ...)
- Verifikation und Modelchecking
- SAT-basiertes Modelchecking
- Automatentheorie
- (Koordination) Komponentenbasierte(r) Systeme