pauline.traynard [at] inria.fr
traynard [at] biologie.ens.fr

Research

I prepared my PhD under the supervision of François Fages at INRIA and Denis Thieffry at IBENS, working on continuous and discrete models explaining cell fate decisions, in particular regarding the links between the cell cycle and the circadian clock.

Communications

Publications

François Fages, Pauline Traynard. Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers. In Logical Modeling of Biological Systems, pages 291–323. John Wiley Sons, Inc., 2014. [ preprint ]

Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation. Bioinformatics, 32(17):i772-i780, 2016. [ preprint ]

Pauline Traynard, François Fages, Sylvain Soliman. Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. In CMSB'14: Proceedings of the twelth international conference on Computational Methods in Systems Biology, pages 114–128, Lecture Notes in Computer Science. Springer-Verlag, 2014. [ preprint ] [ slides ]

Pauline Traynard, François Fages, Sylvain Soliman. Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis. In CMSB'15: Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, pages 208–221, volume 9308 of Lecture Notes in Computer Science. Springer-Verlag, 2015. [ preprint ]

Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages. Model-based Investigation of the Circadian Clock and Cell Cycle Coupling in Mouse Embryonic Fibroblasts: Prediction of RevErb-alpha Up-Regulation during Mitosis. Biosystems, 149:59–69, 2016. [ preprint ]

Pauline Traynard. Model Building by Temporal Logic Constraint Solving: Investigation of the Coupling between the Cell Cycle and the Circadian Clock. Thèse de doctorat, Université Paris - Diderot, 2016. [ preprint ]

Posters

  • Pauline Traynard, Francois Fages, Sylvain Soliman, "A bi-directional coupled model of the cell cycle and the circadian clock calibrated with Temporal Logic Patterns of Dynamical Behaviours". ICSB, Melbourne, Australia, Sept. 14-18 2014.
  • Pauline Traynard, Adrien Fauré, Francois Fages, Denis Thieffry, "Logical modeling of the mammalian cell cycle". ECCB, Strasbourg, France, Sept. 7-10 2014.

Oral presentations

  • CMSB2015, 16-18 September 2015, Nantes, France
  • Systemic Symbolic Biology (Bioss) Workshop at CMSB2015, 18 September 2015, Nantes, France
  • International Synthetic and Systems Biology Summer School, 5-9 July 2015, Taormina, Italy
  • CMSB2014, 17-19 November 2014, Manchester, UK
  • Congress of the SFC (Société Francophone de Chronobiologie),29-31 October 2014, Paris, France
  • ISSSMA2013 (Interdisciplinary Symposium on Signals and Systems for Medical Applications), 3-4 June 2013, IPH Paris, France

Teaching

During my PhD, I taught introduction classes to Linux, Programming with Python and R at the IBENS.

I was also in charge of the monthly Junior Seminar at Inria Rocquencourt together with a small team of PhD students.

I made this presentation (in French) for research promotion in high school.

Curriculum vitae

My CV in English and in French.

My LinkedIn profile