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

Anastasia Documentation

The Anastasia documentation is structured as follows:

Back to Main

People

The following people are assosciated with the Anastasia project:

Alan Bundy [A.Bundy@ed.ac.uk]Supervisor 
Paul Martin [P.W.Martin@sms.ed.ac.uk]Second Supervisor 
Ianthe Hind [I.Hind@sms.ed.ac.uk]Honours Student (2005-06) 
Sebin Kim [S.Kim-11@sms.ed.ac.uk]Honours Student (2007-08) 


Webpage maintained by Paul Martin
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.