| Position: | Lecturer |
| Role: | Member |
| E-mail: | richard_mayr_ed@yahoo.co.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 |
This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.
An error occured whilst processing this directive