Research Talks
Elsewhere you can find my home page and a list of
research papers.
- CerCo: Certified Complexity
- Laboratory for Foundations of Computer Science,
July 2012. (More on
CerCo)
- Exploring Variation in Biochemical Pathways with the Continuous
π-Calculus
-
Synthetic Biology
and Modelling, University of Edinburgh, June 2012 (Slides)
SynthSys, University of
Edinburgh, May 2012 (Slides)
Department of Computer Science, University of Warwick, February
2012 (Slides)
PEPA Club,
University of Edinburgh, December 2010. (Slides)
- Webquines, The Collatz Graph and a Weightless Website
-
Laboratory
for Foundations of Computer Science, February 2011. (Slides and links
for Pirate
and Chess)
- The Continuous π-Calculus: A Process Algebra for Biochemical
Modelling
-
Theoretical Computer
Science Seminar, University of Birmingham, February 2010. (Slides)
Laboratory for
Foundations of Computer Science, March 2009. (Slides)
Oxford University
Computing Laboratory, November 2008. (Slides, paper)
- Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile
Code
- Science beyond Fiction: The European Future Technologies
Conference, Prague, April 2009. (Slides)
- Some Hedge Mazes
- Laboratory for
Foundations of Computer Science, March 2009. (Slides, 19M)
- What if Hoare Logic were not Hypothetical?
-
Mobius workshop, Schloss
Fürstenried, Munich, June 2008. (Slides)
Types, Logics and Semantics for State, Schloss Dagstuhl,
February 2008. (Abstract)
- Types for Resource Control
- Formal Methods for Components
and Objects, Amsterdam, October 2007. (Slides)
- Resource Guarantees and PCC
-
Programming Language Seminar, ITU Copenhagen, October 2007. (Slides, abstract)
International
Workshop on Proof-Carrying Code: PCC 2006, Seattle, September 2006. (Slides)
- Resource Type Checking for Database Queries
-
Mobility, Ubiquity and Security, Schloss Dagstuhl,
March 2007. (Abstract)
- Names and Games
- Semantics and Games workshop, Geometry of Computation: GeoCal06,
Marseille – Luminy, February 2006.
- Free-Algebra Models for The π-Calculus
-
Seminar Comète-Parsifal, LiX, École Polytechnique, June
2005. (Slides)
Laboratoire PPS, Paris, June
2005. (Slides)
Foundations of Software Science and Computation Structures: FOSSACS
2005, Edinburgh, April 2005. (Slides, paper)
University of Sussex Department of Informatics, March 2005.
(Slides)
University of Cambridge Computer Laboratory, February 2005.
(Slides)
Queen Mary
University of London, December 2003. (Slides)
Oxford University Computing Laboratory, November 2003.
- Reducibility and TT-lifting for Computation Types
-
Laboratoire PPS, Paris,
May 2005. (Slides)
Typed Lambda Calculi
and Applications: TLCA 2005, Nara, Japan, April 2005. (Slides, paper)
Laboratory for
Foundations of Computer Science, Edinburgh, April 2005.
- Nominal Games and Full Abstraction for the Nu-Calculus
-
Logic in Computer Science:
LICS 2004, Turku, Finland, July 2004. (Slides, paper)
Laboratory for
Foundations of Computer Science, Edinburgh, July 2004. (Abstract, slides)
- Reasoning with Names
-
Oxford University Computing Laboratory, November 2003. (Abstract, slides)
Reasoning
Programme, Edinburgh University School of Informatics, February
2003. (Slides)
-
Reducibility and Strong Normalisation for the Computational Metalanguage
-
Oxford University Computing Laboratory, October 2003. (Slides)
Institut für Informatik, Ludwig-Maximilians-Universität
München, November 2002. (Slides)
- Operations, Effects and Monads for the π-Calculus
-
Laboratory for
Foundations of Computer Science, Edinburgh, August 2003. (Abstract)
Fields Institute workshop on Mobility and
Concurrency, Ottawa, June 2003.
- Mobile Resource Guarantees
-
APPSEM II
workshop, Nottingham, March 2003. (Slides)
Oxford University Computing Laboratory, March 2003. (Abstract, slides)
- Local Areas in the π-Calculus
-
University of Cambridge
Computer Laboratory, February 2002. (Abstract, slides)
University
of Birmingham, January 2002.
...
The truly remarkable thing about the World-Wide Web
is not the number of
people who use it, but the proportion who believe what
they read there.
Alan Turing
Page last modified:
Tuesday 28 August 2012