Mario Gleirscher



Mario Gleirscher owns a Master degree (minor: mathematics) and a PhD degree in Computer Science, both from Technical University of Munich. He is also a qualified mechanical engineer and has collected several years of practical experience as a software consultant, engineer, and developer. His postdoctoral research focuses on compositional formal methods for the modelling, verification, and refinement of high-level controllers for risk-aware and dependable autonomous machines, and on empirical studies of applying such methods in the engineering practice of ethically sound autonomous machines.

Record last modified Nov 14, 2018 5:54:57 PM