Alex Simpson: Home Page
Alex Simpson: Home Page
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.
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 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.
Recent:
-
10 July 2010:
Proof Systems for Program Logics,
LICS-affiliated workshop at
FLoC 2010
-
9 July 2010:
LOLA 2010,
LICS-affiliated workshop at
FLoC 2010
-
29 June 2010:
Scott in Scotland, Informatics Forum, University of Edinburgh.
-
21 May 2010:
Second Scottish Category Theory Seminar,
Informatics Forum, University of Edinburgh.
-
6-7 May 2010:
Set Theory, Classical and Constructive,
Amsterdam.
-
September 2009:
Slides for my Linearity talk:
Linearly-used Continuations and Self-duality
-
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