Stephanie Kemper

Dr. Stephanie Kemper is a Researcher in the Correct System Design Group at the Department of Computing Science, University of Oldenburg, Germany. Her career spans roles including Research Assistant at Centrum Wiskunde & Informatica (2006-2011), OFFIS (2012-2015), and continuous contributions to the University of Oldenburg since 2011.

Education

• Diploma in Computer Science with distinction (University of Oldenburg, 2006)
• PhD in Computer Science (Leiden Institute of Advanced Computer Science, 2011)

Research Interests

Specializing in formal methods for real-time systems, her work emphasizes:

• Timed Automata and Timed Constraint Automata
• SAT-based Model Checking for verification
• Component-based Software Engineering
• Abstraction Refinement with Craig Interpolation
• Concurrency and True Concurrency in systems
• Scalable verification techniques overcoming state explosion

Publication Trends

Her publications (2007-2013) focus on real-time coordination patterns, SAT-based verification, and compositional analysis of timed systems. Key areas include formal modeling of traffic scenarios, constraint automata for component connectors, and counterexample-guided abstraction refinement.

Affiliations

• University of Oldenburg (2011-present)
• Centrum Wiskunde & Informatica (2006-2011)
• OFFIS Group SAV-RSM (2012-2015)