Déborah Boyenval

Ph.D. in theoretical computer science applied to systems biology at Université Côte d’Azur, DS4H graduade school. I was supervised by Gilles Bernot (I3S), Jean-Paul Comet (I3S) and Franck Delaunay (IbV). I focused on the formal modeling of the dynamic properties of cell cycle checkpoints with René Thomas’ formalism, in association with two classical formal methods in theoretical computer science (CTL model-checking and Hoare logic) and a logic programming language (Prolog). This PhD is part of the formal bioinformatics project. My thesis defined a first specification of two fundamental dynamic properties of cell cycle checkpoints, the temporal separation of phases and the irreversibility of phase transitions. You can find my detailed CV in PDF format here.


  • 2018-10 – 2022-12

    Doctoral researcher in computer science, SPARKS team (I3S) and Franck Delaunay's team (IbV), Université Côte d'Azur

  • 2018-01 – 2018-06

    Research internship (Master 2), INSERM U935 Villejuif, Team Chronotherapy and Cancer, Université Côte d'Azur

  • 2017-02 – 2017-06

    Research internship (Master 1), SPARKS team (I3S) and Franck Delaunay's team (IbV), I3S laboratory, Université Côte d'Azur

  • 2016-09 – 2018-06

    Master Student in Life Sciences, Université Côte d'Azur, Major in Biology, Informatics and Mathematics (BIM)

  • 2016-06-06 – 2016-07-22

    Research internship, Nicolas Glaichenhaus' team (wet experiments), IPMC Sophia Antipolis, Université Côte d'Azur

  • 2013-09 – 2016-06

    Bachelor Student in Life Sciences, Université Côte d'Azur, Major in Animal Genetics and Immunity and Minor in Biology, Informatics and Mathematics (BIM)


  • Fablab manager at the fablab of the UCA campus in Valrose (academic year 2018/2019)
  • Treasurer of ADAMS-DS4H (Association of Doctoral And Master's Students of DS4H)
  • Editor of the student newspaper "le Canard Déplumé" (academic year 2018/2019)


  • Interactions between the circadian system, the cell cycle and metabolism in relation to cancer hallmarks
  • Formal modelling of biological networks
  • Discrete Biomathematics
  • Mathematical definition of biological checkpoints
  • Temporal logics (CTL, Hoare logic)
  • Logic Programming (Prolog, ASP)

TEACHING (% of total volume of time)

  • Web (PeiP2 at Polytech' Nice Sophia)

  • Database theory (GB3 Polytech' Nice Sophia and L1 maths/info at UCA)

  • System & Network Administration - Linux (PeiP1 at Polytech' Nice Sophia)

  • Imperative Programming - Python (PeiP1 and GB3 at Polytech' Nice Sophia)

  • Algorithms for Biology (GB4 at Polytech' Nice Sophia)



[All Publications]
  1. Sex and Circadian Timing Modulate Oxaliplatin Hematological and Hematopoietic Toxicities
    Dulong, Sandrine, Souza, Lucas, Machowiak, Jean, Peuteman, Benoit, Duvallet, Gaelle, Boyenval, Déborah, Roth, Elise, Asgarova, Afag, Chang, Yunhua, Li, Xiao-Mei, Foudi, Adlen, and Ballesta, Annabelle
    Pharmaceutics, vol. 14, pp. 2465, Nov, 2022
  2. Formal modelling of cyclic biological behaviours with checkpoints: the cell cycle regulation (in French)
    Boyenval, Déborah
    PhD thesis, Université Côte d’Azur (Computer Science), Dec, 2022
  3. What is a cell cycle checkpoint? The ToTemBioNet answer
    Boyenval, Déborah, Bernot, Gilles, Collavizza, Hélène, and Comet, Jean-Paul
    18th International Conference on Computational Methods in Systems Biology (CMSB 2020), Sep, 2020