"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 Verification of
Robots and Autonomous Systems
Mathematics & Computer Science
University of Bremen
Tools & Materials
Contact & Directions
Dr. Mario Gleirscher
▪ Universität Bremen
▪ 28359 Bremen
+49(0)421 218 63965 ▪ MZH 8190
- Passionate about logic, algebra, philosophy, & writing
- International experience in SE research & teaching
- Worked full-time in aeronautics and software industry
- Experience in research & technology transfer
- Fan of outdoor sports, travelling, and healthy cooking
- Enjoy modern jazz (e.g. Jan Jelinek, Snarky Puppy) and (not too) modern art (e.g. Albin Egger-Lienz)
- Formerly skiing instructor, MTB & 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 designer and synthesiser.
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.
Academic Leadership & Citizenship
Upcoming events I'm involved:
- Organiser of αFM@FM'21: Applicable Formal Methods
- PC member for SEFM'21: Software Engineering and Formal Methods
- PC member for SNR@QONFEST'21: Symbolic-Numeric Methods for Reasoning about CPS and IoT
- PC member for FMAS'21: Formal Methods for Autonomous Systems
- PC member for WAISE@SAFECOMP'21: Artificial Intelligence Safety Engineering
- PC member for SafeAI@AAAI'21: Artificial Intelligence Safety
Past events I helped to organise:
Past PC involvement:
(merged with CASA'17)
Reviewed for journals
and conferences (HSCC,
Other community services:
of career perspectives and working conditions for early-career researchers by co-chairing
the workshop series
occasionally active on
Summer'22: Course on system verification (details coming soon) / lecturer
Winter'21: Courses on automata, formal languages, and high-integrity system design / tutor
Summer'17: Seminar on software quality, focus on formal methods / tutor
Winter'17: Seminar on safety assurance of control
systems, in English / organiser and tutor
Summer'16: Practical course on safety analysis techniques, in
English / organiser and tutor
Summer'13 & '14: Course on modelling concurrent
systems / tutor
Winter'12: Seminar on safety-critical software development /
Winter'12: Course on foundations of program and system development / tutor
Summer'09--'12: Course on requirements engineering / tutor
Advising & Mentoring
Open projects: Drop me an email!
Current projects: None at the moment.
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.
- PhD: Shared Control in Autonomous Driving, cand.: A. McDonagh, co-supervised with R. Calinescu, UoY
last change: May 2021