Personal tools
You are here: Home People Academics Richard Mayr

Richard Mayr

Position: Lecturer
Role: Member
Office(s): IF-4.11
Phone(s): (+44 131 6)505130
Research Interests: 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.
Document Actions