"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


Research Interests

  • Autonomous machines
  • Dependability and risk ethics
  • Compositional algebraic methods
  • Empirical validation
  • Control theory
  • Theory unification

Contributions and Service
by StackExchange, under CC 3.0 BY by GitHub, under SIL OLF

Research in Progress

  • Reaching Verifiably Safest States
  • Use of Formal Methods in Practice:
    Join our online survey. Closed on August 31 2018 for evaluation; open for 2nd sampling stage!

Office hours:   Wed 2pm - 5pm
Please, request appointment in advance! Thanks.

Profile in Brief

  • Passionate scientist, philosopher, constructive critic; loving logic, algebra, and writing.
  • 7 years of full-time research and teaching in dependable software engineering.
  • 4 years of full-time work in (aeronautics) industry and as a freelancer.
  • Several research collaborations with industry (e.g. Airbus Group, BMW, IBM).
  • Experience as a 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 (Awards and Publications)

  • DFG research fellowship, York, Oct 2018 - Mar 2019
  • DFG research fellowship, York, Oct 2017 - Seb 2018
  • PhD Thesis [PDF], Munich, Sep 2014
  • Best paper award, Software Quality Days, Vienna, Jan 2012
  • Master's Thesis [PDF]

Professional Activities


Teaching assistance (between 2009-2014) in Modelling concurrent systems, Safety-critical software development, Foundations of program and system development, Requirements engineering.


Thesis Topics (Bachelor's, Guided Research, Master's)

  • FINISHED: Dynamic Fault Trees for Design Improvement
  • FINISHED: An Online Survey of Safety Practitioner's Demands, Problems, and Expectations

You are looking for a ...

  • ... Bachelor's or Master's thesis project?
  • ... student assistant project with the option of extension to a Master's thesis?
Interested in verifiably correct systems (autonomous vehicles, ships, aircrafts, traffic control infrastructures, networked production plants) and in empirical, applied, and fundamental topics? Drop me a line!

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

Oldschool Stuff & Miscellanea

last change: Mar 9 2017 -