Skip to main content

Dr. Mario Gleirschner

Postdoctoral Researcher, University of York, U.K.

Mario Gleirscher is a postdoctoral researcher in Computer Science at the University of York, U.K.  He received the PhD and MSc degrees in Computer Science, with a minor in Mathematics, from the Technical University of Munich, Germany.  He has a Foundation Degree in mechanical engineering with a focus on production engineering and collected several years of practical experience as a consultant, method engineer, and software developer.  In his research, he applies stochastic model checking, theorem proving, process algebra, and refinement to the analysis and verification of control systems, centred around the design and synthesis of risk-aware controllers from discrete-event and hybrid stochastic models.  For this research, he was awarded a Fellowship by the German Research Foundation.