Dr. Richard Μayr

More pictures

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

Phone: +44 131 650 5130
Fax:   +44 131 667 7209
 Electronic messages 

Short CV

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

Research Interests

• Formal Verification
  • 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.
• Logic
• Automata Theory
• Term rewriting.
• Tableau systems.
• Exotic computing devices and the borders of decidability.

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 )

• Publications in refereed journals and conference proceedings
• Technical reports, theseses and other texts.
• Book chapters

Software Verification Tools

• Practical tools for solving computationally hard problems in automata theory, in particular language inclusion, equivalence and universality, and minimization of automata. See Languageinclusion.org
• Some experimental tools for verification of infinite-state systems.

Students

• Current Students
  • Patrick Totzke, PhD Student, University of Edinburgh, UK.
• Former Students
  • Lorenzo Clemente, 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.

Current Teaching

• Language Semantics and Implementation (Spring term 2013)
• Discrete Mathematics and Mathematical Reasoning (Fall term 2012)

Other Current Activities

• 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
• TACAS 2011. Tools and Algorithms for the Construction and Analysis of Systems.

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