mgleirscher

I am a qualified mechanical engineer that graduated in informatics (core areas: theoretical computer science and mathematics) at Technische Universitaet Muenchen. For my Ph.D., I worked on a formal method for safety analysis. I am doing research on engineering safe, dependable and trustworthy systems, and on their role in society. My objective comprises the improvement of interdisciplinary formal methods in safety engineering and the enhancement of empirical knowledge of practised system safety.

October 2015