I am a post doc at the University of Regensburg, in the working group of Marc Hoyois. My mathematical interests lie in algebraic topology, homotopy theory and higher category theory. More specifically, I'm thinking about (global) equivariant homotopy theory, homotopy theory of differentiable stacks, parameterized category theory, twisted ambidexterity, and norm/transfer maps. Recently, I have also started to think quite a bit about type theory and formalization.
I am an associated member of the SFB 1085 "Higher Invariants".
I finished my PhD in September 2023 at the University of Bonn under the supervision of Stefan Schwede.
Email: bastiaan.cnossen (add @ur.de)
Office: M223, Mathematisches Institut, Regensburg
Formalization of Higher Categories: An in-progress book project in which we provide an axiomatic treatment of the theory of ∞-categories. Joint with Denis-Charles Cisinski, Kim Nguyen and Tashi Walde.
Stable Homotopy Theory and Higher Algebra: An in-progress book project that aims to provide an accessible account of stable homotopy theory and higher algebra via a model-independent approach to ∞-category theory.
Summer term 2025: Introduction to Higher Algebra
Winter term 2024/2025: Introduction to stable homotopy theory
Winter term 2024/2025: Seminar on parametrized semiadditivity (with Denis-Charles Cisinski and Sil Linskens)
Summer term 2024: Lie groups and representation theory
One of the most fascinating challenges in computer science today is AI alignment: how to ensure that increasingly powerful artificial intelligence systems will act in ways that benefit humanity rather than harm it. This question brings together ideas from computer science, philosophy and mathematics in new ways. While there's certainly hype around AI, the challenge of alignment is recognized by top researchers as both crucial and in need of more attention.
If you're new to this topic, I can recommend this introductory video. For those already familiar with AI alignment, particularly those with backgrounds in mathematics or computer science: there are many valuable ways to help address this challenge. I encourage you to explore ways to get involved here: AI Safety: How Can I Help?