Richard Mayr
Position
Reader
Roles
Member of Laboratory for Foundations of Computer Science
Coordinator of MSc Projects
Personal Tutor of Informatics UG Students
Personal Tutor of Informatics UG/MSC Students
Project supervision of Honours Project
Project supervision of MSc Dissertation
Tutor of Standard allocation (two groups)
Research Interests
Automated verification, automata theory, temporal logic, model-checking and semantic equivalence checking, formal verification of real-time and probabilistic systems, infinite-state Markov chains, Markov decision processes and stochastic games.
Email Address
<mayr36.teaching-admin@ed.ac.uk>
Office,Telephone
IF-4.11A, +44 (0) 131 650 5130
Publications - Edinburgh Research Explorer
Personal Page


Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh