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 Positions

If you have a recent PhD with a strong background in formal methods, automata theory, logic and game theory, I might have a postdoc position for you. Ask me.

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 .