made with

"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
Postdoctoral Research Associate in
Software, Systems and Safety Engineering
Software and Systems Engineering Group
Department of Informatics
Technische Universtät München


Contact & Directions

Boltzmannstraße 3
85748 Garching, Germany
T +49(89)-289-17832
Room MI 00.11.055


Research Interests

  • Engineering safe, dependable and trustworthy systems
  • Improvement of interdisciplinary formal methods in safety engineering
  • Enhancement of empirical knowledge of practised system safety
  • System and software verification, and system modelling
  • Control theory

Publications listed on ...


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

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

  • A Study of Safety Practitioner's Demands, Problems and Expectations
  • Use Case-based HAZOP Analysis: An Exploratory Study
  • A Study of Cross-Domain Component Concepts
  • Synthesis of Dynamic Fault Trees from Transition System Models
  • ...
Interested? Please, drop by my office to discuss further details! As I aim on fundamental research in this domain, we might have plenty of flexibility in shaping one of these topics to your specific interests.

Organizational Activities

last change: Mar 03 2016 -