Name:Nicolas Behr

Bio:

Nicolas Behr is a CNRS researcher in theoretical computer science at IRIF, Université Paris Cité, France. His research focuses on category-theoretical rewriting systems, stochastic mechanics, and compositional methods for dynamical systems, and, more recently, the formalization of commutative diagram proofs. He earned his PhD in Mathematical Physics from Humboldt University Berlin and the Max Planck Institute for Gravitational Physics. He has held fellowships at CRI Paris and IRIF, as well as research associate appointments at LFCS, University of Edinburgh, and Heriot-Watt University. His work has produced foundational advances, including rule-algebra frameworks for adhesive categories, a stochastic mechanics framework for rewriting systems, and tracelet theory. He has been an invited speaker at the IHÉS ``Combinatorics and Arithmetic for Physics'' workshops (regularly since 2017), ACT 2019, ACT 2021, the “Category Theory at Work in Computational Mathematics and Theoretical Informatics” inaugural meeting (Lie-Størmer Center, Bergen, 2023), and ICGT 2025. He is the Scientific Coordinator of the ANR CoREACT project on executable applied category theory (2023-2027), and has co-organized the GReTA seminar series on graph transformation theory (2020–2024).

Country:France

Affiliation:CNRS, Université Paris Cité, IRIF