Alex Simpson: Home Page
Dr. Alex Simpson
Reader
Laboratory for Foundations
of Computer Science (LFCS)
School of Informatics,
University of Edinburgh
Informatic Forum
10 Crichton Street
Edinburgh EH8 9AB, UK.
Email:
Alex.Simpson@ed.ac.uk
Phone: +44 131 650 5113
Fax: +44 131 667 7209
My research interests include: semantic models
of computation,
especially domain-theoretic and topological models;
type theories and associated reasoning principles; logic and
proof theory; intuitionistic set theories and their
applications; constructive mathematics and its
computational content; probability and randomness.
Recent: