Experience | Teaching | Service | Misc

"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 Blade Runner

Mario Gleirscher
Postdoc in Verification of
Robots and Autonomous Systems
Mathematics & Computer Science
University of Bremen



Tools & Materials

Contact & Directions

Dr. Mario Gleirscher ▪ Universität Bremen
Bibliothekstraße 5 ▪ 28359 Bremen ▪ DE
+49(0)421 218 63965 ▪ MZH 8190

Consultation hours (SoSe 22):
Wed 16:00-17:00
Appointments via email!


  • 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.

You can find more details about my courses and tutorials on StudIP.

  • Summer'23: Introduction to Mathematics 2 (UC) / tutor
  • Winter'22: Verification of Hybrid Systems (GC) / lecturer
  • Winter'22: Systems of High Integrity and Quality (GC) / tutor
  • Summer'22: Verification of Hybrid Systems (GC) / lecturer
  • Summer'22: Introduction to Mathematics 2 (UC) / tutor
  • Winter'21: Introduction to Mathematics 1 (UC) / tutor
  • Winter'21: Systems of High Integrity and Quality (GC) / tutor
  • Summer'17: Software Quality (GS, focus on formal methods) / tutor
  • Winter'17: Safety Assurance of Control Systems (GS), in English / organiser and tutor
  • Summer'16: Safety Analysis Techniques (GP), in English / organiser and tutor
  • Summer'13 & '14: Modelling Concurrent Systems (GC) / tutor
  • Winter'12: Safety-critical Software Development (GS) / tutor
  • Winter'12: Foundations of Program and System Development (GC) / tutor
  • Summer'09--'12: Requirements Engineering (GC) / tutor
(U = undergraduate, G = graduate, C = course, S = seminar, P = practical)

Academic Leadership & Citizenship

Upcoming events I'm involved:

  • PC member for FMAS'22: Formal Methods for Autonomous Systems
  • PC member for SEFM'22: Software Engineering & Formal Methods
  • PC member for RSSRail'22: Reliability, Safety and Security of Railway Systems
  • PC member for SafeAI@AAAI'22: Artificial Intelligence Safety

Past events I helped to organise:

Past PC involvement: SEFM'21, FMAS'21, SNR@QONFEST'21, WAISE@SAFECOMP'21, SafeAI@AAAI'21, WAISE@SAFECOMP'20, SafeAI@AAAI'20, WAISE@SAFECOMP'19, SafeAI@AAAI'19, WAISE@SAFECOMP'18, SoftIoT@ECSA'17 (merged with CASA'17)

Reviewed for journals (CompJ, Computing, CSUR, FAoC, JSS, ROBOTS, SoCP, SoSyM, STTT, STVR, TMECH) and conferences (HSCC, ICECCS, MODELS, SAC, SAFECOMP, SEFM, SPLC); see .

Other community services: Supporting the improvement of career perspectives and working conditions for early-career researchers (ECRs) by running a survey of ECRs and by co-chairing the workshop series Kar4WiN at INFORMATIK'22, INFORMATIK'21, and INFORMATIK'20. Member of , , and , and occasionally active on by StackExchange, under CC 3.0 BY and by GitHub, under SIL OLF.

Advising & Mentoring

Open projects: Drop me an email!

Current projects: None at the moment.

Past projects:

  • 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.


last change: May 2021 -