"Replicants are like any other machine.
They are either a benefit or a hazard.
If they are a benefit, it's not my problem."
Harrison Ford in
Postdoc in Correct-by-Construction
Controllers for Cyber-physical Systems
Mathematics & Computer Science
University of Bremen
Tools & Materials
Contact & Directions
▪ Universität Bremen
▪ 28359 Bremen
+49(0)421 218 63965 ▪ MZH 5460
Consultation hours (SoSe 23):
Appointments via email!
- Passionate about logic, algebra, philosophy, and writing
- International experience in research, teaching, and technology transfer
- Worked full-time in aeronautics and software industry
- Fan of outdoor sports, travelling, and healthy cooking
- Enjoy glitch/minimal (e.g. Jan Jelinek, Mouse on Mars), modern jazz (e.g. Snarky Puppy),
progressive rock (e.g. Alan Parson's Project),
and (not too) modern art (e.g. Escher, Egger-Lienz)
- Formerly skiing instructor, MTB and table tennis amateur
Previous Experience, Achievements, & Education
At the University of Bremen,
I work in the distributed
systems lab led by Jan Peleska.
I am the developer of YAP,
a risk-informed controller synthesis technique.
I gave a talk in the journal-first track of FM'23 about our work on controller synthesis.
I am granted an AAIP Fellowship ('21-'23) supporting my
collaboration with the University of York (UoY).
At UoY, I worked with Radu Calinescu on
verified controller synthesis for collaborative robots, supported
by the Lloyd's Register Foundation
and the Assuring Autonomy International Programme.
For my research on risk handling in autonomous
machines, advised by Jim Woodcock and Ana Cavalcanti,
I was awarded a DFG Research Fellowship at the University of York ('17-'19).
I started my research on this topic at the
Technical University of Munich (TUM), advised by
Manfred Broy ('15-'17).
I received my
PhD and MSc degrees from TUM.
Our study of static
analysis tools in practice, published during my PhD, got a best paper award at the 4th Software Quality Days 2012 in Vienna.
Teaching & Mentoring
Lecturing & Module Delivery:
- Winter'23: Sustainable Development (GC, part of a lecture series)
- Winter'23: Hybrid Systems: Verification & Synthesis (GC)
- Summer'23: Assurance of Intelligent Cyber-physical Systems (GS)
- Winter'22: Verification of Hybrid Systems (GC)
- Summer'22: Verification of Hybrid Systems (GC)
- Winter'17: Safety Assurance of Control Systems (GS), in English
- Summer'16: Safety Analysis Techniques (GP), in English
You can find more details about my courses and tutorials on StudIP.
- Summer'23: Introduction to Mathematics 2 (UC)
- Winter'22: Systems of High Integrity and Quality (GC)
- Summer'22: Introduction to Mathematics 2 (UC)
- Winter'21: Introduction to Mathematics 1 (UC)
- Winter'21: Systems of High Integrity and Quality (GC)
- Summer'17: Software Quality (GS, focus on formal methods)
- Summer'13 & '14: Modelling Concurrent Systems (GC)
- Winter'12: Safety-critical Software Development (GS)
- Winter'12: Foundations of Program and System Development (GC)
- Summer'09--'12: Requirements Engineering (GC)
(U = undergraduate, G = graduate, C = course, S = seminar, P = practical)
Advising & Mentoring:
Open projects: Drop me an email!
- P. Hönnecke: Verified Hybrid Control of Transport Multi-Systems
- PhD: Shared Control in Autonomous Driving, cand.: A. McDonagh, co-supervised with R. Calinescu, UoY
- Co-advised 17 M.Sc., B.Sc., diploma theses, term papers, and internships in the safety-critical systems area and 5 diploma theses in the general software engineering area.
Academic Leadership & Citizenship
Upcoming events I'm involved:
Past events I helped to organise:
Past PC involvement:
(merged with CASA'17)
Reviewed for journals
('peer review' section) or
Further community services:
of career perspectives and working conditions for early-career researchers (ECRs)
by running a survey of
ECRs and co-chairing the workshop series Kar4WiN at
, formerly also
occasionally active on
last change: May 2021