"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

Dr. Mario Gleirscher
Research Associate in Robotic Software Engineering
Department of Computer Science
University of York

Contact & Directions

Deramore Lane, Heslington
York YO10 5GH, UK
T +44 (0)1904 325442
Office CSE/106

Research Interests

  • Correct-by-design risk-aware machine autonomy (verified risk handling in autonomous machines)
  • Compositional verification calculi
  • Integrated formal methods

In Progress


Research Tools & Materials

Profile in Brief

  • Passionate about logic, algebra, modelling, philosophy, and writing
  • International experience in software engineering research and teaching
  • Worked full-time in aeronautics and software industry
  • Experience in research & technology transfer
  • Fan of outdoor activities, travelling, and healthy cooking
  • Formerly skiing instructor, amateur in mountain biking and table tennis

Funding, Awards, & Affiliations
My current research, advised by Dr. Radu Calinescu, is on probabilistic model checking and policy synthesis for collaborative robots and funded by LRF's Assuring Autonomy International Programme. ♦ For my research on risk handling in autonomous machines advised by Prof. Jim Woodcock and Prof. Ana Cavalcanti, I was awarded a DFG Research Fellowship at the University of York ('17-'19). ♦ Our study of static analysis tools in practice got a best paper award at the 4th Software Quality Days 2012 in Vienna. ♦ I was among the best reviewers for the SoSyM journal in 2018. ♦ I was a postdoctoral researcher in software and systems engineering advised by Prof. em. Manfred Broy at the Technical University of Munich ('15-'17).

Academic Leadership and Citizenship

Reviewer for international journals (e.g. CompJ, Computing, CSUR, FAoC, JSS, SoCP, SoSyM, STTT, STVR) and conferences (e.g. HSCC, ICECCS, MODELS, SAC, SAFECOMP, SPLC).

I am supporting the improvement of career perspectives and working conditions for young researchers. I am co-chairing KAR4WIN@INFORMATIK'20, the 1st WS on "Karriereplanung für Nachwuchswissenschaftler*innen."

I am a member of , , and .

You can follow my activities and community services on , by
							under CC 3.0
							BY, and by GitHub, under SIL OLF.

Advising and Mentoring

I have 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 and systems engineering area.

Current projects:

  • PhD: Shared Control in Autonomous Driving,
    candidate: A. McDonagh, co-supervised with R. Calinescu at UoY
Feel free to drop me a line for open topics!

Teaching (currently paused)

  • 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 / tutor
  • Winter'12: Course on foundations of program and system development / tutor
  • Summer'09--'12: Course on requirements engineering / tutor

Oldschool Stuff & Miscellanea

last change: Aug 2019 -