"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
Visiting Researcher in Process-algebraic Methods
(group led by Ana Cavalcanti and Jim Woodcock)
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

Office hours:
Wed 2pm - 5pm

Please, request
in advance!

Research Interests

  • Risk handling in autonomous machines
  • Dependability and risk ethics
  • Compositional algebraic methods
  • Empirical validation
  • Control theory
  • Theory unification

Contributions (list of publications)

Research in Progress

  • Reaching Verifiably Safest States
  • Use of Formal Methods in Practice:
    Join our online survey. Open for 2nd sampling stage!

Profile in Brief

  • Passionate about logic, algebra, modelling, philosophy, and writing
  • 7 years of full-time research and teaching in dependable software engineering (at TUM)
  • 4 years of full-time work in aeronautics and software industry
  • Experience in research transfer to industry (e.g. Airbus Group, BMW, IBM)
  • Reviewer for software engineering conferences, workshops, and journals
  • Fan of outdoor activities, sports, travelling, and healthy cooking
  • Former skiing instructor and amateur in MTB and table tennis competitions

Selected Achievements

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

Research Tools

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

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?
  • ... Bachelor or Master thesis topic?
Drop me a line!

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

Oldschool Stuff & Miscellanea

last change: 2 Nov 2018 -