Alan Smaill
Position
Lecturer
Roles
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
<A.Smaill@ed.ac.uk>
Office,Telephone
IF-2.03
AT-6.06A, +44 (0) 131 650 2710
Informatics Research Reports


Home : People 

Please contact support with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh