"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
(group led by Ana Cavalcanti and Jim Woodcock)
Department of Computer Science
University of York

(formerly at Technical University of Munich)

Contact & Directions

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

Research Interests & Methods

  • Compositional verification calculi
  • Integrated formal methods

Research in Progress

  • Risk handling in autonomous machines
  • Evolvable model-based assurance cases

Contributions / Publications

Research Tools & Materials

Profile in Brief

  • Passionate about logic, algebra, modelling, philosophy, and writing
  • 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 MTB and table tennis

Academic Leadership and Citizenship

I am a member of , , and .

You will find further evidence of my services to the community on , by
							under CC 3.0
							BY, and by GitHub, under SIL OLF.


  • 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

Selected Achievements

  • DFG research fellowship, York, Oct 2017 - Mar 2019
  • PhD Thesis [PDF], Munich, Sep 2014

Advising and Mentoring

Are you interested in verifiably correct systems (autonomous vehicles, ships, aircrafts, traffic control infrastructures, networked production plants) and in empirical, applied, and fundamental topics? Are you keen to start a guided research project or a Bachelor or Master thesis? Then drop me a line!

Please, consider the following advice for thesis projects (by Elmar Jürgens).

Oldschool Stuff & Miscellanea

last change: 16 Jun 2019 -