Dr. Richard Μayr

[Logo] [Logo] More pictures

Dr. Richard Mayr
University of Edinburgh
School of Informatics, LFCS
Room 4.11a, Informatics Forum
10 Crichton Street 
Edinburgh EH8 9AB

Phone: +44 131 650 5130
Fax:   +44 131 667 7209
 Electronic messages 
Reader 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 3. Find your number at MathSciNet .

Open positions

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

Research group

Current Teaching

Other Current Activities

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