Section: Highlights of the Year

Highlights of the Year

Four PhD Theses Defended this Year

Katherine Chiang defended her thesis [1] in three years at National Taiwan University and two internships with us in 2012 and 2013, on the computer-aided design of biomolecular systems, a subject co-supervised by Jie-Hong Jiang and François Fages which is of increasing importance in Lifeware and led to several publications this year [11] , [6] , [5] .

Artemis Llamosi defended his thesis [3] in three years also, on the modeling of cell-to-cell variability, a subject co-supervised by Grégory Batt and Pascal Hersen, which led to a major publication in PLoS Computational Biology [8] to appear in 2016, and a cooperation with Marc Lavielle (EP POPIX).

Steven Gay finally defended his thesis [2] on subgraph epimorphisms and model reductions, a subject co-supervised by François Fages and Sylvain Soliman, 18 months after he leaved us for taking a Post Doc position at Univ. Louvain-la-Neuve, Belgium.

Thierry Martinez defended his thesis [4] supervised by François Fages, on a logical kernel for constraint programming, with direct impact on the design of the ClpZinc modeling language and the rewriting of Biocham v4, for which he got engineer positions n the last years.

In addition, François Bertaux has sent to reviewers his thesis on the modeling of cell-to-cell variability and cell apoptosis, co-supervised by Dirk Draso and Grégory Batt. Sylvain Soliman has sent to reviewers his Habilitation à Diriger des Recherches on the dynamics of biochemical systems. Pauline Traynard is also finishing her thesis co-supervised by François Fages and Denis Thieffry, on temporal logic patterns and solvers and the modeling of the interactions between the cell cycle and the circadian clock, for a defense in early 2016 in three years and half. Jean-Baptiste Lugagne is also expected to defend his thesis in 2016.

These theses are the foundations of some major themes of Lifeware for the next years.