Max Planck Institute for Mathematics in the Sciences

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

Welcome to my page. I am a researcher at the Max Planck Institute for Mathematics in the Sciences and visiting fellow at Perimeter Institute.

- 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.

- 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.
- 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.

- 5–11 May 2018: David Spivak, incoming.