Slides

Below are links to slides from some recent talks
Here are the slides from my invited address, Completions, K-categories and Commutative Probability Monads given at the 9th International Symposium on Domain Theory and Its Application in Singapore and online from July 4 – 6, 2022.

Here are the slides from my invited address, Kegelspitzen and Computational Models given at the International Symposium on Domain Theory and Its Application in Yangzhou, China from June 14 – 18, 2019.

Here are the slides from a talk, Semantics of Quantum Programming Languages given at the QuILT Workshop at the University of New Orleans in March, 2019.

Here are the slides from my talk, Semantic Models of Quantum Programming Languages, given at the Workshop on Higher Category Approach to Certifiably Correct Quantum Information Processing. The workshop took place at the University of Maryland on February 4, 2019.

Here are the slides from my talk, Domains and Quantum Programming Languages given at Achim Fest, a workshop celebrating Achim Jung’s 60th birthday. The workshop took place at the University of Birmingham on September 8, 2018.

Here are the slides from my talk, Stochastic Domain Theory given at the Domains XIII workshop celebrating Dana Scott’s 85th Birthday. The workshop was affiliated with the FLoC conferences held in Oxford, UK in July, 2018.
The same slides were the basis for a talk at the Reunion Workshop for the Logical Structures in Computation Program held at the Simons Institute in Berkeley, CA in December 2017.

Here are the slides from my talk, Domains and Probability Measures: A Topological Retrospective given at the Summer Topology Conference at the University of Dayton, OH in June, 2017

Here are the slides from my talk, Approximating Measurable Maps given at the Spring Topology and Dynamical Systems Conference held at the New Jersey City University in Jersey City, NJ in March, 2017

Here are the slides from my talk, Discrete Random Variables Over Domains, Revisited, given at Bill@60, a workshop celebrating Bill Roscoe’s 60th Birthday. in Oxford in January, 2017

Here are the slides from my talk, Probabilistic Programming and Domain Theory, given at the Workshop on Probabilistic Programming Semantics on the Jussieu campus of the University of Paris in January, 2017

Here are the slides from my talk, A Primer on Domains and Measure Theory, given at the Boot Camp on Logical Structures in Computation at the Simons Institute for the Theory of Computer Science on September 2, 2016.
These slides also were the basis for a keynote address at the International Symposium on Domain Theory and Its Applications, held at Hebei University of Science and Technology, June 2 – 5, 2017.

Here are the slides from my talk, From Haar to Lebesgue via Domain Theory, given at the Summer Topology Conference at the University of Leicester on August 2, 2016

Here are the slides from my talk in the New York Topology Seminar, October 15, 2015.

Here are the slides from my talk at Domains XII, the 12th workshop on Domains, held at University College Cork, Ireland in August, 2015.

Here are the slides from my talk at Domains XI, the 11th Workshop on Domains, held at Universite Denis Diderot, Paris, in September, 2014

Here are the slides from my talk at WIP 2013, the Workshop on Information and Processes I hosted at Tulane’s CIAPA campus outside San Jose, Costa Rica in December 2013.

Here are the slides from my invited address at ISDT ’13, the Sixth International Symposium on Domain Theory and Its Applications, held at Hunan University in October 2013. 

Here are slides from my talk, “Analyzing Computational Models” given as a keynote address at the NSF SFS Workshop at LSU on July 2, 2013.

Here are slides from my talk, “Random variable models of computation”, given at the Samson@60 Fest, University of Oxford, England on May 30, 2013. The workshop was in honor of Samson Abramsky’s 60th birthday.

Here are slides from my talk, “Anatomy of a domain of continuous random variables”, given at the Dagstuhl Seminar on Quantitative Security Analysis in November, 2012. 

Here are slides from my talk, “Analyzing continuous channels” given at the Dagstuhl Seminar on Information Flow and Its Applications in August, 2012. 

Here are the slides from my talk, “Random Bits of Noise” given at the 25th Conference on the Mathematical Foundations of Programming Semantics, at Oxford, 2009. 

Here are the slides from my talk, “Probabilistic Automata, Probabilistic Models and Crypto-protocols” given at the Protocol eXchange Meeting, Naval Postgraduate School, January, 2009. 

Here are the slides from my talk at the Workshop on Formal and Computational Cryptography which was a satellite workshop of LICS + CSF Conferences at CMU in June, 2008. 

Here are the slides from my investiture as the Pendergraft Herbert Buchanan Professor of Mathematics, May 5, 2008. Note: These are best viewed in a separate pdf file viewer such as Abobe Reader rather than within a browser. Here are some pictures from the investiture ceremony. 

Here are the slides from my talk on Variations on an Integral Domain Theme which was an invited address at the Conference Honoring Peter Collins and Mike Reed held at Oxford in August, 2006. 

Here are the slides from my talk on Testing Semantics: Processes vs Logics at the AMAST 2006 meeting. This is based on the paper with Dusko Pavlovic and James Worrell. 

Here are the slides from my talk at ICALP 2005 on discrete random variables over domains.

Here are the slides from my talk on “Probability and Domain Theory” at the Workshop on Domains VII held August 29 – September 1, 2004 at the Technische Universität Darmstadt, Germany.

Here is a pdf file containing slides from a talk given at the Monterey Workshop, 2001, and at the Modélisation et Vérification Seminar, LIAFA, Université Paris VII in June, 2001. There also is a copy of the slides in PostScript. The talk concerned some ideas about modeling probabilistic choice in CSP and presents some ideas about a potential application to hybrid systems.