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:

July 2009: Slides for my CCC talk: The Locale of Random Sequences
January 2009: Slides for my POPL talk: Linear Types for Computational Effects
January 2009: Slides for my talk at New Interactions Between Analysis, Topology and Computation: "Spaces of Valuations" Revisited
February 2008: Slides for my talk at the XXIII Incontro di Logica Intuitionistic Set Theory and its Models
December 2007: Summary of a research project on relational parametricity for computational effects
September 2007: Slides for my Domains VIII talk Neoclassical domain theory
July 2007: Slides for my LICS/LC 2007 talk Formal Borel sets - a proof-theoretic approach
April 2007: Slides for my MFPS XXIII tutorial Beyond Classical Domain Theory
December 2006: Summary of a research project on topological domain theory
September 2006: Symposium for Gordon Plotkin, Edinburgh, 7-8 September 2006