Dr. Richard Μayr
Dr. Richard Mayr
University of Edinburgh
School of Informatics, LFCS
Room 4.11, Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB
Phone: +44 131 650 5130
Fax: +44 131 667 7209
Mayr36.teaching-admin at ed.ac.uk
Lecturer in Computer Science, University of Edinburgh,
PhD in Computer Science at TU-Munich, Germany, 1998 and Habilitation
at University of Freiburg, Germany, 2002. Since then I have worked in
many different countries.
My Erdös number is 4 (several connections). Find your number at
News (Dec. 2013): PhD Studentships
The EPSRC-funded Centre for Doctoral Training in Pervasive Parallelism
at the University of Edinburgh is pleased to offer 12 fully funded
four year studentships across all areas relevant to the "pervasive
parallelism challenge". Students undertake an initial MSc by Research
year, followed by three years of PhD study.
If you are interested in working with me, then additionally see
another topic, as well as
See our general website for information on
how to apply.
My habilitation thesis:
``On Verification Problems for Systems with Infinite State Spaces''.
, (September 2002).
Formal models for distributed systems: Petri nets, process algebras
and automata theoretic models.
Verification of systems with infinitely many states.
Algorithms for the design and verification of reactive and distributed systems.
Decidability and complexity of model checking problems.
Decidability and complexity of bisimulation equivalence and other semantic equivalences.
Scalable verification methods and their application to industrial
specification languages like UML RT.
Analysis and verification of probabilistic systems: Markov chains, Markov reward models, Stochastic games.
Exotic computing devices and the borders of decidability.
My PhD thesis:
``Decidability and Complexity of Model Checking Problems for Infinite-State Systems''.
, (April 1998).