Alex Simpson: Home Page

Since 1st March 2015, I have been employed at the University of Ljubljana, Slovenia. My new hompepage is at:

Alex Simpson
Professor of Foundations of Computer Science
Laboratory for Foundations of Computer Science (LFCS)
School of Informatics, University of Edinburgh
Informatic Forum
10 Crichton Street
Edinburgh EH8 9AB, 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 their models, especially type theories for computational effects; logic and proof theory in general, and proof systems for program logics in particular; intuitionistic set theories, their models and applications; constructive mathematics and its computational content; foundational models of probability and randomness.