Dr. Stephanie Kemper
Contact
- E-Mail:
Dr. Stephanie Kemper
Department of Computing Science (» Postal address)
Curriculum Vitae
| 10/1999 - 01/2006 | Studies of Computer Science at University of Oldenburg |
|---|---|
| 01/2006 | Diploma degree (with distinction) in Computer Science at University of Oldenburg |
| 02/2006 - 03/2011 | Research Assistant at Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (www.cwi.nl) |
| 12/2011 | PhD defense at the university of Leiden (NL), dissertation title "Modelling and Analysis of Real-Time Coordination Patterns" |
| 04/2011 - 06/2012 | Research Assistant in the Correct System Design Group |
| 07/2012 - 04/2015 | Research Assistant at OFFIS, Group SAV-RSM |
| since 04/2015 | Research Assistant in the Correct System Design Group |
Research
My research interests are
- Real-time Systems (Timed Automata, Timed Constraint Automata, ...)
- Verification and model checking
- SAT-based model checking
- Automata theory
- (Coordination in) Component-based systems