MRG home page · Research · Publications · Projects · Software · People

Mathematical Reasoning Group

The Mathematical Reasoning Group is a distributed research group based in the Centre for Intelligent Systems and their Applications, a research institute within the School of Informatics at the University of Edinburgh. We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence. There is a more detailed overview of the MRG and a list of people. You can also find out how to join the MRG.

Internal links

We have switched authentication for internal links to cosign. If you have a DICE account use that and if you do not, you can setup a friend-of-DICE account.

Research Links

Our group has active contacts with a number of research networks and groups.

Contact information

Mathematical Reasoning Group
School of Informatics 
University of Edinburgh 
Informatics Forum 
10 Crichton Street 
Edinburgh EH8 9AB

Tel  : +44 (0)131 650 2708
Fax : +44 (0)131 650 6899

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.