For professional information about me click on the links above.

My (increasingly) famous SlipBox program is here.

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

Email: m [dot] guhe [at] ed [dot] ac [dot] uk
Tel: +44 (0)131 650 2725
Fax: +44 (0)131 650 6899