dusko pavlovic

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.

some recent papers:

• Privacy protocols (with Jason Castiglione and Peter-Michael Seidel) – abstract

• Probabilistic annotations for protocol models

• Lambek pregroups are Frobenius spiders in preorders

• Causality and deceit: Do androids watch action movies? (with Temra Pavlovic) – abstract

• The nucleus: Mining concepts from adjunctions (with Dominic Hughes) – abstract

• From process-propositions-as-types to categorified real numbers and monoidal computers – abstract

• Logic of fusion – abstract

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)