Nicolas Behr

Nicolas Behr

CNRS Researcher in Computer Science

Université Paris Cité, CNRS, IRIF, France

Biography

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 Andrea Corradini, 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.

News

New preprint: “Fundamentals of Compositional Rewriting Theory” (joint work with R. Harmer and J. Krivine),

I have been invited to give a talk on June 9, 2022 at the Topos Institute Colloquium, a very active and inspiring seminar series on applied category theory (cf. the TIC YouTube channel).

I am a co-chair (joint with Daniel Strüber) of the 15th International Conference on Graph Transformation (ICGT 2022).

Selected Talks & Activities

$\qquad\qquad\qquad\qquad $
18 - 22/07/2022 APPLIED CATEGORY THEORY 2022 (online participant), University of Strathclyde, Glasgow, Scotland
07 - 08/07/2022 15th International Conference on Graph Transformation (ICGT 2022) (co-chair), Nantes, France
06/07/2022 13th International Workshop on Graph Computation Models (GCM 2022) (participant), Nantes, France
09/06/2022 Topos Institute Colloquium (talk), online
30/05 - 31/05/2022 Discrete-event systems and Environmental Sciences meeting (talk), Centre Inria de Paris, France
30/11 - 02/12/2021 “Combinatorics and Arithmetic for Physics: special days” workshop (invited talk; video, slides), Institut des Hautes Études Scientifiques (IHÉS), Bures sur Yvette, France
05/11/2021 “GReTA international online seminar series” (talk; video), online
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), 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

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.

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

Preprints and Publications

(2021). Concurrency Theorems for Non-linear Rewriting Theories. In: arXiv preprint (long version including additional technical appendices of a paper with the same title accepted for ICGT 2021).

Preprint Cite Slides

(2021). On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods. Invited Paper in Patrick Bahr (ed.): Proceedings 11th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2020), Online, 5th July 2020, Electronic Proceedings in Theoretical Computer Science 334, pp. 11–28..

PDF Cite

(2021). Stochastic Graph Transformation For Social Network Modeling. Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021.

PDF Cite DOI

(2020). Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping. In: B. Hoffmann and M. Minas: Proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020), Online-Workshop, 24th June 2020, Electronic Proceedings in Theoretical Computer Science 330, pp. 126–144..

PDF Cite

(2020). Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. In: John Baez and Bob Coecke: Proceedings Applied Category Theory 2019 (ACT 2019), University of Oxford, UK, 15-19 July 2019, Electronic Proceedings in Theoretical Computer Science 323, pp. 44-71..

PDF Cite Slides Video

(2020). Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. Graph Transformation, 13th International Conference, ICGT 2020, Proceedings, volume 12150 of Theoretical Computer Science and General Issues, Springer International Publishing.

Preprint PDF Cite

(2019). Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. Electronic Proceedings in Theoretical Computer Science, 309:23–52.

PDF Cite Slides

(2018). Rule Algebras for Adhesive Categories. In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 11:1–11:21.

PDF Cite Slides

(2016). Stochastic mechanics of graph rewriting. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS ‘16, ACM Press.

Preprint PDF Cite Slides

(2012). Variable transformation defects. Proceedings of Symposia in Pure Mathematics, Volume 85.

Preprint PDF Cite

(2011). New solid state lens for reflective neutron focusing. In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, (634), 1, pp. S104–S107.

PDF Cite

(2006). Ultrahigh resolution scattering near-field vibrational microscopy with single molecule sensitivity. In: 2006 Conference on Lasers and Electro-Optics and 2006 Quantum Electronics and Laser Science Conference, IEEE.

PDF Cite

Talks & Activities

$\qquad\qquad\qquad\qquad $
18 - 22/07/2022 APPLIED CATEGORY THEORY 2022 (online participant), University of Strathclyde, Glasgow, Scotland
07 - 08/07/2022 15th International Conference on Graph Transformation (ICGT 2022) (co-chair), Nantes, France
06/07/2022 13th International Workshop on Graph Computation Models (GCM 2022) (participant), Nantes, France
09/06/2022 Topos Institute Colloquium (talk), online
30/05 - 31/05/2022 Discrete-event systems and Environmental Sciences meeting (talk), Centre Inria de Paris, France
30/11 - 02/12/2021 “Combinatorics and Arithmetic for Physics: special days” workshop (invited talk; video, slides), Institut des Hautes Études Scientifiques (IHÉS), Bures sur Yvette, France
05/11/2021 “GReTA international online seminar series” (talk; video), online
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), 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
14 - 15/05/2020 POSTPONED to spring 2021 due to COVID-19 pandemic Colloquium “La biologie et la chimie de l’information” (invited talk), Collège de France, Paris, France
05/03/2020 Computer Science Colloquium (talk), University of Southern Denmark, Odense, Denmark
21/02/2020 Informatics Seminar (talk), University of Leicester, UK
26/11/2019 LSV Seminar, Laboratoire Spécification et Vérification, ENS Paris-Saclay, Cachan, France
21/11/2019 Software Science Departmental seminar (talk), School of Information Technologies, TalTech, Tallinn, Estonia
06 - 08/11/2019 “Combinatorics and Arithmetic for Physics: special days” workshop (invited talk), Institut des Hautes Études Scientifiques (IHÉS), Bures sur Yvette, France
25/10/2019 FIAS CEF Symposium (talk), Frankfurt Institute for Advanced Studies, Germany
14/10/2019 seminar of the Research Group Theoretical Computer Science (talk), Universität Bremen, Germany
3/10/2019 PPS seminar (talk), IRIF, Université Paris Diderot, France
22 - 26/07/2019 15th International Symposium on Orthogonal Polynomials, Special Functions and Applications (OPSFA'15) (invited talk; slides, video), Research Institute for Symbolic Computation (RISC), Hagenberg, Austria
17/07/2019 Tenth International Workshop on Graph Computation Models (GCM 2019) (talk; slides), Eindhoven University of Technology, Eindhoven, The Netherlands
15 - 19/07/2019 Applied Category Theory Conference (ACT 2019), University of Oxford (talk; slides, video), Oxford, United Kingdom
28/05 - 02/ 06/2019 27th Foundational Methods in Computer Science Workshop (FMCS 2019; talk), University of Calgary, Alberta, Canada
06 - 07/ 05/2019 Tokenomics, International Conference on Blockchain Economics, Security and Protocols, ENS Paris, France
18 - 22/03/2019 Journées Aléa 2019, Centre International de Rencontres Mathématiques (CIRM), Marseille, France
19/02/2019 Calcul Natural (CANA) seminar (talk), Laboratoire d’Informatique Fondamentale de Marseille (LIF), Marseille, France
12 - 16/11/2018 Rencontres du GDR Renormalisation, Laboratoire de Mathématiques Blaise Pascal, Clermont-Ferrand, France
8 - 9/11/2018 Journées PPS (talk), IRIF, Université Paris Diderot, France
31/10/2018 Seminar of the Équipe Antique (talk), DI-ENS, Paris, France
24 - 25/10/2018 “Combinatorics and Arithmetic for Physics: special days” workshop (invited talk), Institut des Hautes Études Scientifiques (IHÉS), Bures sur Yvette, France
10 - 11/10/2018 Emergent Algorithms and Network Dynamics workshop (invited talk; slides), Institut Henri-Poincaré, Paris, France
01/10/2018 Séminaires du LPTMC, Sorbonne Université (Paris 6) (talk), France
09 - 12/09/2018 81st Séminaire Lotharingien de combinatoire (KrattenthalerFest), Strobl, Austria
04 - 07/09/2018 Computer Science Logic 2018 conference (talk), School of Computer Science of the University of Birmingham, UK
15 - 21/07/2018 18th Workshop: Noncommutative Probability, Operators Algebras, Random Matrices and Related Topics, with Applications (talk), Stefan Banach Conference Center of the Polish Academy of Sciences, Będlewo, Poland
29/05/2018 Journée-séminaire de combinatoire, Université Paris 13 (talk), France
13/02/2018 Séminaire Systèmes complexes, IRIF, Université Paris Diderot (talk), France
05/02/2018 Seminario di ENEA, Centro Ricerche Frascati, Rome (talk), Italy
11 - 12/01/2018 International Conference on Combinatorics and Physics (Penson71Fest) (invited talk), Polish Academy of Sciences Paris, France
09 - 10/11/2017 Combinatorics and Arithmetic for Physics: special days workshop (invited talk), Institut des Hautes Études Scientifiques (IHÉS), Bures sur Yvette, France
06/11/2017 IRIF Newcomers Day (talk), IRIF, Université Paris Diderot, France
18/10/2018 Équipe de travail “Analyse et conception de systèmes” (talk), IRIF, Université Paris Diderot, France
25/04/2017 Journée-séminaire de combinatoire (talk), Université Paris 13, France
09/02/2017 Séminaires d’Informatique Théorique (talk), DI Université de Rouen, France