Mario Gleirscher

ORCID iD
https://orcid.org/0000-0002-9445-6863
  • Keywords
  • Show details Hide details
Formal Methods,

Sources:
Mario Gleirscher (2015-10-23)

System Safety,

Sources:
Mario Gleirscher (2015-08-03)

Engineering

Sources:
Mario Gleirscher (2015-08-03)

Biography

I am a qualified mechanical engineer that graduated in informatics (core areas: theoretical computer science and mathematics) at Technical University of Munich. For my Ph.D., I worked on a formal method for hazard and safety analysis. I am doing research on dependable autonomous systems. My objective comprises the improvement of formal methods in safety engineering and the enhancement of empirical knowledge of practised safety engineering.