thanks for visiting. 
here you can download most of my papers, some of the slides prepared for my talks or courses, and you can sometimes see what has been on my mind. the publication details for the papers are in this BibTeX base.
some recent papers:
- Privacy networks: trust, noninterference, differential privacy (with Peter-Michael Seidel)
- Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra (with Toshiki Kataoka)
- Testing randomness by Matching Pennies
- Towards a Science of Trust
- Smooth coalgebra: testing vector analysis (with Bertfried Fauser)
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)
