Automated verification, automata and temporal logic, model-checking and semantic equivalence checking, formal verification of real-time and probabilistic systems, infinite-state Markov chains and stochastic games.

Master in Computer Science, 1994, TU-Munich.
PhD in Computer Science, 1998, TU-Munich.
Habilitation for Informatics, 2002, University of Freiburg.

Richard Mayr received a Msc in computer science (with distinction) from TU-Munich (1994) and a PhD in computer science from TU-Munich (1998). He received scholarships from the DAAD and the DFG in support of his research at the University of Edinburgh (1999) and the University of Paris 7 (2000), and completed his Habilitation for Informatics at the University of Freiburg in 2002. He was assistant professor at the University of Freiburg (2001-2004) and at North Carolina State University (2004-2007). In 2008 he was appointed to the post of Lecturer at the School of Informatics (LFCS) at the University of Edinburgh.

Mayr has been principal investigator on several recent grants on automata theory and formal verification of real-time systems by the Royal Society, and is a founding member of Languageinclusion.org

He is currently supervisor for two PhD students and has previously supervised four other successful PhD students (two at the University of Edinburgh, one at Uppsala University and one at the University of Freiburg). In recent years, he has taught courses in discrete mathematics, semantics of programming languages and distributed systems. He was 3rd year course organizer for Informatics in 2010 and is currently on both the College of Science and Engineering Library Committee and the University Library Committee.