Christoph Dorn

Christoph Dorn is a Research Fellow at the Mathematical Institute, University of Oxford, within the Department of Mathematics. His research focuses on computable foundations for geometry and higher algebra, particularly through combinatorial and diagrammatic calculi of stratified manifolds, their singularities, and higher Morse structures. He has contributed to the development of query languages, database theory, and connections to neural network architecture. Dorn has authored several papers and books, including 'Framed combinatorial topology' (to be published by the AMS in 2026), and has taught courses in algebraic topology, category theory, and complexity theory.

Christoph Dorn is a researcher at the University of Oxford, focusing on higher category theory, algebraic topology, geometric topology, and computable foundations. His work explores the intersection of these fields, particularly through the development of tools like manifold diagrams and framed combinatorial topology. Dorn's research includes contributions to type theory and its applications in modern database systems, as seen in his work on TypeQL, a type-theoretic and polymorphic query language. His publications often emphasize the combinatorial and computational aspects of topological structures, aiming to bridge abstract mathematical concepts with practical computational frameworks.