[an error occurred while processing this directive] An error occured whilst processing this directive
Position: | Lecturer |
Role: | Member |
E-mail: | A.Smaill@ed |
Office(s): | IF-2.03 |
Phone(s): | (+44 131 6)502710 |
Research Interests: | Constructive logics and non-realist semantics; reflection principles and their application within automated reasoning systems; theorem proving in relation to programming. |
This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.
An error occured whilst processing this directive