Information for current:

Alan Smaill
Senior Lecturer
Member of Centre for Intelligent Systems and their Applications
Member of Laboratory for Foundations of Computer Science
Research Interests
Constructive logics and non-realist semantics; reflection principles and their application within automated reasoning systems; theorem proving in relation to programming.
Email Address
IF-2.10, +44 (0) 131 650 2710
Informatics Research Reports
Publications - Edinburgh Research Explorer

Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh