Perimeter Institute for Theoretical Physics

For secure communication, please use PGP together with my public key.

There's also Polymath14 and Paolo's thesis.

- Spring 2019: Partial evaluations, the bar construction, and second-order stochastic dominance, Applied Category Theory School. Joint with Paolo Perrone.
- Summer 2016: Discrete Structures. Joint with Peter Stadler and Jürgen Jost.
- Summer 2016: Categories in Algebra and Geometry, Max Planck Institute for Mathematics in the Sciences. Textbook: Category Theory in Context, Chapters 1 to 4.
- Spring 2014: Homotopy Type Theory: Univalent Foundations of Mathematics, University of Waterloo.

- Categorical probability: results and challenges.
- Towards synthetic Euclidean QFT.
- Real algebra, random walks, and information theory.
- Measurement functors.
- The energy-entropy diagram as a fundamental tool of thermodynamics.
- A simple formalism for resource efficiency in thermodynamics.
- The inflation technique for causal inference.
- Quantum logic and computability of noncommutative sums of squares.
- The Kitaev model and aspects of semisimple Hopf algebras via the graphical calculus.
- Some thoughts on inferring system structure.
- Quantum logic is undecidable.
- The inflation technique for causal inference with latent variables.
- A mathematical toolbox for resource theories.
- Almost C*-algebras.
- Characterizations of Shannon and Rényi entropy.
- Characterizing Entropy (slides by John Baez with minor modifications).
- Equality.
- A Combinatorial Approach to Nonlocality and Contextuality.
- Bell's Theorem on arbitrary causal structures.
- Resources.
- Turning Weyl's tile argument into a no-go theorem.
- Quantum correlations and group
*C**-algebras. - Witnessing Infinite-dimensional State Spaces.
- Horn Formulas as Linear Inequalities and Nonlocality Paradoxes.
- Tsirelson's problem and Kirchberg's conjecture.
- Cuntz' proof of Bott periodicity for
*C**-algebras. - Quantum correlations and group
*C**-algebras. - Curious properties of iterated measurements.
- Abstract Convexity: Results and Speculations.
- Abstract Convexity.
- The Geometry of the Standard Model.
- The Geometry of Black Holes.

- Himmelsmechanik.
- Verschränkung und Verschränkungsmaße.
- Episodengedächtnis bei rabenartigen Vögeln.
- Evolutionäre Algorithmen.

- 12–15 Nov: Caltech, with Omer Tamuz.
- 5‐8 Jun 2020: CMS 75th Anniversary Summer Meeting, Ottawa.