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.
No publications added yet