Dr. Richard Μayr

[Logo] [Logo] More pictures

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
 Electronic messages 
Lecturer in Computer Science, University of Edinburgh, LFCS . 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.

Short CV

My Erdös number is 4 (several connections). Find your number at MathSciNet . @

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. Link: Official vacancy

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. See http://pervasiveparallelism.inf.ed.ac.uk for details.

If you are interested in working with me, then additionally see this topic and another topic, as well as Languageinclusion.org .

See our general website for information on how to apply (and contact me if you do).

Research Interests

My habilitation thesis: ``On Verification Problems for Systems with Infinite State Spaces''. , (September 2002).

My PhD thesis: ``Decidability and Complexity of Model Checking Problems for Infinite-State Systems''. , (April 1998).

Publications (see also the listing at the DBLP server )

Software Tools


Current Teaching

Other Current Activities

If this is Greek to you then you can at least have some fun .