Personal tools
You are here: Home People Academics Alan Smaill

Alan Smaill

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.
Document Actions