Personal tools
You are here: Home People Academics Richard Mayr

Richard Mayr

Position: Lecturer
Role: Member
E-mail: mayr36.teaching-admin@ed.ac.uk
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.
Homepage: http://homepages.inf.ed.ac.uk/rmayr
Document Actions