Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay-Île-de-France (formerly Paris-Rocquencourt).

My research interests focus around Computational Biology and Theoretical Computer Science. In this context I’m one of the main developers and maintainers of the BIOCHAM platform. This is where most of the techniques I develop, using Constraint Programming, Model-Checking, and other formal methods get implemented.

On top of my BIOCHAM developments, you can find below other side projects concerning Vim, Prolog, etc. I used to maintain separately Nicotine, a constraint-based software for Petri-net invariant computation and Tropical equilibration, but it has now been completely merged into BIOCHAM.

I’ve been teaching since 2005 in the MPRI and just started in 2018 teaching in the AI&AVC Master. You can find below more information.

I’m a member of Inria Saclay’s Scientific Commission, in 2016 I was also a member of the jury for AAP Digiteo/Digicosme Ph.D. grants. When I was in Rocquencourt I was president of the Doctoral Committee for quite some time, and of the Technological Development Commission for a few years.


  • Constraint Programming
  • Computational Systems Biology
  • Model-Checking and Petri nets
  • Structural analysis of ODE-based models


  • HDR (Accreditation to Supervise Research) in Computer Science, 2016

    Université Paris-Sud

  • Ph.D. in Computer Science, 2001

    Université Paris Diderot

  • MSc (Engineering degree and MSc equivalence) in Computer Science, 1996

    École Polytechnique

Recent Publications

Quickly discover relevant content by filtering publications.
On the Complexity of Quadratization for Polynomial Differential Equations. In CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, 2020.


Graphical Conditions for Rate Independence in Chemical Reaction Networks. In CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, 2020.


SBML Level 3: an extensible format for the exchange and reuse of biological models. Molecular Systems Biology, 16 (8):1-21, 2020.


Setting the basis of best practices and standards for curation and annotation of logical models in biology—highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop. Briefings in Bioinformatics, 2020.


On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. In Luca Bortolussi, Guido Sanguinetti, editor, CMSB 2019 - 17th Computational Methods in Systems Biology, LNCS, Springer-Verlag, 2019.



COVID-19 Disease Map

A knowledge repository of molecular mechanisms of COVID-19 as a broad community-driven effort


Symbolic Methods for Biological Networks


Hybrid Formal Modelling of Time for Circadian Clock Biology and Chronopharmacology

ANR HyClock

Hybrid Formal Modelling of Time for Circadian Clock Biology and Chronopharmacology

French-German PROCOPE Mobility Grant

O. Radulescu, Univ. Montpellier, France, Andreas Weber, Univ. Bonn, Germany


I teach/taught in the following frameworks:

  • in the Paris Computer Science Masters (M2 Research), I am in charge of the Constraint Programming course;

    • class 1 - Introduction to CLP, operational semantics, examples
    • class 2 - CLP: fixpoint semantics
    • class 3 - CLP: logical semantics, CSP: solving by simplification and domain reduction
    • class 4 - CLP: the Warren Abstract Machine, CSP: Symmetries
    • class 5 - CLP: typing; CHR; Programming project discussion; MiniZinc and CLPZinc
    • class 6 - CC: examples, operational and denotational semantics
    • class 7 - CC: linear logic semantics; LCC
    • class 8 - LCC: logical semantics, links with CHR; EMoP: modules for LCC/CC/CLP
  • I used to be for several years teaching assistant for Java classes corresponding to the Informatique Fondamentale lessons of Jean-Jacques Levy at École Polytechnique. Then I taught in the third year course about “Constraint-based Modeling & Algorithms for Decision Making”, the 2nd year MODAL “Programming in the Language of Life” and the Bachelor course on “Constraint Logic Programming” (plus some other TA things here and there)

I also supervize some internships on the dedicated page of the Lifeware team.