ICGT 2022
Description: Dr. Nicolas Behr, CNRS researcher in theoretical computer science, Université Paris Cité, IRIF, France
I am a CNRS researcher in theoretical computer science with Institut de recherche en informatique fondamentale (IRIF) , the Computer Science laboratory of Université Paris Cité, where I am a member of the Preuves, programmes et systèmes group. 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
I am the Scientific Coordinator of the ANR project CoREACT - Coq-based Rewriting: towards Executable Applied Category Theory (2023 - 2027).
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.
ICGT 2022