I am a post doctoral researcher in the group of Prof. Kim G Larsen at the Department of Computer Science at Aalborg University. I received my doctorate in Computer Science from the University of Freiburg. My supervisor was Prof. Andreas Podelski.
My research focuses on formal verification and strategy synthesis for stochastic hybrid games. Previously I have worked on software verification via model checking and automated theorem proving.
- Toolchain for user-centered intelligent floor heating control In IECON16.
- Online and Compositional Learning of Controllers with Application to Floor Heating. In TACAS16 [.pdf]
- Ready for testing: ensuring conformance to industrial standards through formal verification. In Formal Aspects of Computing [.pdf]
- Quasi-Dependent Variables in Hybrid Automata. In HSCC14 [.pdf]
- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. In FM2014 [.pdf]
- Detecting Quasi-equal Clocks in Timed Automata. In FORMATS 2013 [.pdf]
- Timed Automata with Disjoint Activity. In FORMATS 2012 [.pdf]
- Reducing Quasi-Equal Clocks in Networks of Timed Automata. In FORMATS 2012 [.pdf]
- Deciding Functional Lists with Sublists Sets. In VSTTE 2012 [.pdf]
- An efficient decision procedure for imperative tree data structures. In CADE 2011 [.pdf]
- Model Checking for Time Division Multiple Access Systems [.pdf]
- Decision Procedures for List Manipulating Programs[.pdf]
Current and Past Projects
- Danish Center for Data-Intensive Cyber-Physical Systems DiCyPS
- Danish project, Popular Parallel Programming P3
- European reaserach project CASSTING
- German trans-regional research project for Automatic Verification And Analysis of Complex Systems AVACS
- German project ZIM for ensuring conformance to industrial standards through formal verification