Nicolas Behr

Nicolas Behr

CNRS Researcher in Computer Science

Université de Paris, CNRS, IRIF, France

I am a CNRS researcher in theoretical computer science at IRIF, Université de Paris. Previously, I have been a Short-Term Fellow at CRI Paris in spring and summer of 2020, working on the development of tracelet-analysis algorithms for the biochemistry platform Kappa and for the organo-chemistry platform MØD. I previously held a Marie Skłodowska-Curie Individual Fellowship (2017-2019), working in the field of theoretical computer science at IRIF, Université Paris Diderot. The aim of my project with Jean Krivine (IRIF) consisted in developing extensions of my rule-algebraic framework to restricted variants of rewriting and to the biochemical reaction language Kappa. I am also frequently to be found at the LPTMC of the UPMC/Sorbonne/Paris 06, working with Gérard H.E. Duchamp (Paris 13) and Karol A. Penson (Paris 6) on topics in combinatorics. My previous positions include a Postdoc position with Vincent Danos at ENS Paris and at University of Edinburgh (2014-2017) and a Postdoc position in mathematical physics with Anatoly Konechny at Heriot-Watt University in Edinburgh (2011-2014).

Together with Reiko Heckel and Jean Krivine, I am organizing the GReTA - Graph Transformation Theory and Applications online seminar series - see www.irif.fr/~greta for more information and seminar announcements.

Software

Based upon joint work with Reiko Heckel and Maryam Ghaffari Saadat (University of Leicester), I am developing the ReSMT Python package, which aims to implement rewriting-theoretic concepts via utilizing the Microsoft Z3 theorem prover as the computational core. At present (v. 0.0.3), the package covers typed directed multigraphs (TDGs) with structural constraints as its base datatype, with some of the key operations implemented including the search for partial overlaps of TDGs modulo structural constraints formulated via forbidden pattern non-embedding assertions.

Selected Talks & Activities

$\qquad\qquad\qquad\qquad $
12 - 16/07/2021 4th International Conference on Applied Category Theory (ACT 2021) (distinguished talk; video, slides, paper), online
24 - 25/06/2021 14th International Conference on Graph Transformation (ICGT 2021) (talk; paper, slides), online
22/06/2021 Twelfth International Workshop on Graph Computation Models (GCM 2021) (paper), online
11/06/2021 Algebraic and Combinatorial Perspectives in the Mathematical Sciences (ACPMS) seminar (talk @ 15:00 CEST), online
29/03/2021 LACL seminar (talk), Laboratoire d’Algorithmique, Complexité et Logique, Creteil, France
09/03/2021 Journée-séminaire de combinatoire, CALIN, Université Paris 13 (talk), online
10 - 11/12/2020 “Species and operads in combinatorics and semantics” workshop (talk; slides), IRIF, Université de Paris, France
02 - 03/12/2020 “Combinatorics and Arithmetic for Physics: special days” workshop (invited talk; video), Institut des Hautes Études Scientifiques (IHÉS), Bures sur Yvette, France
15/10/2020 Journées de rentrée PPS (talk), IRIF, Université de Paris, France
20/07/2020 CRI Research Collaboratory seminar (talk), Centre de Recherches Interdisciplinaires (CRI), Paris, France
5/07/2020 TERMGRAPH 2020: 11th International Workshop on Computing with Terms and Graphs (invited talk), online event
25 - 26/06/2020 ICGT 2020: 13th International Conference on Graph Transformation (talk), online event
24/06/2020 GCM 2020: Eleventh International Workshop on Graph Computation Models (talk), online event
Interests
  • Stochastic rewriting systems
  • Combinatorics of dynamical systems
  • Moment bisimulations
  • Tracelets
Education
  • PhD in Mathematical Physics, 2012

    Max Planck Institute for Gravitational Physics Golm and Humboldt University Berlin

  • Diploma in Mathematical Physics, 2008

    Max Planck Institute for Gravitational Physics Golm and Humboldt University Berlin