"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/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
  • 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

Academic Leadership and Citizenship

Reviewer for international journals such as CompJ, Computing, JSS, SoCP, SoSyM, STTT, STVR.

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.


  • 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

Advising and Mentoring

No active projects at the moment. Feel free to drop me line for open topics!

Oldschool Stuff & Miscellanea

last change: Aug 2019 -