Dr Mario Gleirscher
Off
Dr Mario Gleirscher is a Research Associate in Computer Science at the University of York, U.K. He was awarded a Fellowship by the German Research Foundation and received the Ph.D. and M.Sc. degrees in Computer Science, with a minor in Mathematics, from the Technical University of Munich, Germany. He is also a qualified production engineer and has collected several years of practical experience as a consultant, method engineer, and software developer.
His interests cover applied formal methods, particularly, process calculi and refinement-based methods, stochastic reasoning about risk, and controller synthesis for risk-aware and ethically sound autonomous machines.
