"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:
- PC member for SafeAI@AAAI'22: Artificial Intelligence Safety
- Organiser of αFM@FM'21: Applicable Formal Methods [Position]
- PC member for SEFM'21: Software Engineering and Formal Methods
- PC member for FMAS'21: Formal Methods for Autonomous Systems
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
Teaching (C = course, S = seminar, P = practical course)
Summer'22: System verification (C, details coming soon) / lecturer
Winter'21: Introduction to mathematics (C) / tutor
Winter'21: Systems of high integrity and quality (C) / tutor
Summer'17: Software quality (S), focus on formal methods / tutor
Winter'17: Safety assurance of control
systems (S), in English / organiser and tutor
Summer'16: Safety analysis techniques (P), in
English / organiser and tutor
Summer'13 & '14: Modelling concurrent
systems (C) / tutor
Winter'12: Safety-critical software development (S) /
Winter'12: Foundations of program and system development (C) / tutor
Summer'09--'12: Requirements engineering (C) / 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