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
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
Postdoc Position available
A postdoc position in formal methods, automata theory and game theory
is available in the School of Informatics, University of Edinburgh, UK.
This position is part of the EPSRC project Energy Efficient Control (EnEfCo),
directed by Dr Richard Mayr.
The goal of this project is the development of efficient algorithms
for the synthesis of energy efficient controllers, by applying
modern mathematical techniques from game theory, logic,
automata theory and related fields in formal verification.
The post is available from 1st September 2015 (start date flexible)
and is fixed term for 2 years (with the possibility of extension).
Grade: UE07 (GBP 31,342 - GBP 37,394).
Vacancy ID: 033617.
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 (and contact me if you do).
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).
Some practical tools for solving computationally hard problems in automata theory, in particular
language inclusion, equivalence and universality, and minimization of non-deterministic automata.
See the slides of this overview talk, as well as the main website
PhD Student, University of Edinburgh, UK. (Since fall 2013.)
PhD Student, University of Edinburgh, UK. (Since fall 2014.)
PhD Student, University of Edinburgh, UK. 2010-2014.
PhD Student, University of Edinburgh, UK. 2009-2012.
Anthony Widjaja Lin (previously: Widjaja To), PhD Student, University of Edinburgh, UK. 2008-2010.
Noomene Ben Henda, PhD Student, Uppsala University, Sweden, 2004-2008.
Wei Wei, PhD Student, University of Freiburg, Germany. 2002-2004.
Other Current Activities
The Sixth International Symposium on Games, Automata, Logics and Formal Verification.
September 21-23, 2015, Genova, Italy.
9th International Workshop on Reachability Problems.
21-23 September 2015, Warsaw, Poland.
1st EATCS Young Researchers School on Automata, Logic and Games.
July 27 - Aug 1, 2014. Telc/Czech Republic.
Twenty-Seventh Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2012)
MEMICS 2011, Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems.
If this is
Greek to you then you can at least
have some fun .