Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams Not Involved in an Inria International Labs

  • Title: Life Sciences need formal Methods !

  • International Partner (Institution - Laboratory - Researcher):

    • Newcastle University (United Kingdom) - School of Computing Science - Victor Khomenko

  • Start year: 2016

  • See also: http://projects.lsv.ens-cachan.fr/LifeForm/

  • This project extends an existing cooperation between the MEXICO team and Newcastle University on partial-order based formal methods for concurrent systems. We enlarge the partnership to bioinformatics and synthetic biology. The proposal addresses addresses challenges concerning formal specification, verification, monitoring and control of synthetic biological systems, with use cases conducted in the Center for Synthetic Biology and the Bioeconomy (CSBB) in Newcastle. A main challenge is to create a solid modelling framework based on Petri-net type models that allow for causality analysis and rapid state space exploration for verification, monitoring and control purposes; a potential extension to be investigated concerns the study of attractors and cell reprogramming in Systems Biology.

Participation in Other International Programs

UMI with CMI, India, starting in 2017; currently LIA INFORMEL, see below.