| 2013– | Postdoctoral Fellow at the Carnegie Mellon University (CMU) in Pittsburgh, PA, USA |
| 8/2012 | Invited Speaker at the Verified Software Summer School 2012, Shanghai, China |
| 11/2011–12/2011 | Visiting Researcher at Carnegie Mellon University (CMU), Pittsburgh, PA, USA |
| 2011 | Involved in the project proposal for the third phase of the Transregional Collaborative Research Center 14 Automatic Verification and Analysis of Complex Systems |
| 2007 | Involved in the project proposal for the second phase of the Transregional Collaborative Research Center 14 Automatic Verification and Analysis of Complex Systems |
| 2007–2013 | Research Assistant in the Correct System Design Group of Ernst-Rüdiger Olderog at the Carl von Ossietzky University of Oldenburg in Oldenburg (Oldb), Germany |
| 8/2013–12/2013 | Foundations of Cyber-Physical Systems |
| 10/2012–3/2013 | Teaching Assistant for Theoretical Foundations of Computer Science |
| 4/2012–9/2012 | Teaching Assistant for Modeling and Specification of Reactive Systems |
| 10/2011–3/2012 | Seminar on Logics in Computer Science and Logics for Complex Systems |
| 4/2011–9/2011 | Lab Course on Real-Time Systems |
| 4/2011–9/2011 | Teaching Assistant for Logics in Computer Science |
| 10/2010–3/2011 | Teaching Assistant for Theoretical Foundations of Computer Science |
| 4/2010–9/2010 | Teaching Assistant for Logics in Computer Science |
| 10/2009–3/2010 | Teaching Assistant for Real-Time Systems |
| 10/2008–3/2009 | Lab Course on Real-Time Systems |
| 4/2008–9/2008 | Teaching Assistant for Logics in Computer Science |
| 10/2007–3/2008 | Teaching Assistant for Theoretical Foundations of Computer Science |
| 10/2007–3/2008 | Teaching Assistant for Program Verification |
| 2010 | 1st AVACS Spring School: Automatic Verification and Analysis of Complex Systems |
| 2009 | Summer School Marktoberdorf: Logics and Languages for Reliability and Security |
| 2013 | Dr. rer. nat. (Ph.D.), summa cum laude, in computer science from the Carl von Ossietzky University of Oldenburg |
| 2002–2007 | Diplom (MSc) in Computer Science at the Carl von Ossietzky University of Oldenburg |
| 1996–2002 | Abitur (A-Level) at Scheffold Gymnasium Schwäbisch Gmünd |
| 2009–2013 | Member of the examination board (Prüfungsauschuss) |
| 2004–2007 | Social Assistant for Freshman Students |
| 2003–2006 | Introductory Courses on Unix and LaTeX for Freshman Students |
| 2002–2006 | Member of the Board of Students in the Department for Computing Science at the University of Oldenburg |
| 2002 | 4-week Internship in the IT Department of Felix Schoeller Gruppe (Osnabrück) |
| 2007– | KeYmaera: A hybrid theorem prover for hybrid systems |
| 2005–2013 | Syspect: A System Specification Tool for Real-Time Systems |
| 2005 | MoDiShCa: A Model Checker for the Discrete Shape Calculus |
| 2005–2013 | Moby/PLC: A Tool for Modeling, Simulation, and Verification of PLC Automata |