thanks for visiting. behind the tabs above are most of my papers, some of the slides from my talks or courses, and on the right are links to the recordings of some recent ones. the publication details for the papers are in this BibTeX base.
Privacy protocols (with Jason Castiglione and Peter-Michael Seidel) – abstract
a recent course:
Synopsis. What is Computer Science about? How did we get from counting to programming? What is a supercompiler? Why are some things easy to compute, some hard, and some impossible? Answers in pictures. Learn how hardness is used for security.
some old web pages with older stuff which i didn’t transfer:
- at Kestrel Institute (1999-2009)
- at Oxford University (2008-2012)
- Cloudfactory (up to 2006)
- Royal Holloway (2010-2013)