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.

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

- 2017 Mar 13–16: Universität Greifswald, with Malte Gerhold.
- 2017 Apr 17–28: Cristhiano Duarte, incoming.
- 2017 Jul 16–22: Category Theory 2017, Vancouver.
- 2017 Jul 24–28: MIT, with David Spivak.
- 2017 Jul 31–Aug 4: Hopf Algebras in Kitaev's Quantum Double Models, Perimeter Institute.
- 2017 Aug 7–11: McGill University, with Prakash Panangaden.
- 2017 Aug 21–25: Real Algebraic Geometry and its Applications, Innsbruck.
- 2017 Aug 27–Sep 2: Topological and geometrical structure of information, Marseille.