"Transmettre ce n'est pas remplir un vase, c'est allumer un feu." Aristophane.

Students

I have advised, or co-advised 36 Doctorate Thesis (29 defended, 1 running, 3 finished not defended, 3 abandoned), more and more on transdisciplinary subjects but always rooted in Computational Science:

  • Alexandre Tan-Lhernould (CIFRE Servier, ED IPP) "Inférence de modèles mécanistes issus de données biologiques pour la recherche de médicaments", defense planned Oct. 2026.
  • Marine Collery (IBM, ED IPP) “Expressive classification rule learning with an emphasis on learning from sequential data.”, co-advised (34\%) with Shubham Gupta and Philippe Bonnard, IBM, defended on 12 Oct. 2023, Engineer IBM France.
  • Eléa Greugny (CIFRE Johnson\&Johnson, ED IPP) "Computational modeling approaches to multifactorial aspects of atopic dermatitis", 4 Oct 2022, co-advised (34%) with Jalil Bensaci and Georgios Stamatas, Johnson\&Johnson. Now Biomodeler Novadiscovery, Lyon.
  • Jérémy Grignard (CIFRE Servier, ED IPP), "Méthodes computationnelles pour améliorer les phases primaires de recherche de nouveaux médicaments", 17 June 2022, co-advised (50%) with Thierry Dorval, Servier. Now data scientist Institut de Recherches Servier.
  • Julien Martinelli (Inria-Inserm, ED IPP), "On learning mechanistic models from time series data with applications to personalised chronotherapies", 18 Feb. 2022, co-advised (50%) with Annabelle Ballesta, INSERM, Institut Curie. Post-doc Helsinki, Finland.
  • Eleonore Bellot (Inria, ED IPP), co-advised (50%) with Sylvain Soliman, 2018-2021 abandoned partly due to partnership interruption during Covid-19 crisis.
  • Elisabeth Degrand (Inria, ED IPP) co-advised (50\%) with Sylvain Soliman, 2019-2020 abandoned due to partnership interruption during Covid-19 crisis. Now at Theodor web dev.
  • Jonas Sénizergues (Inria), co-advised (50%) with Sylvain Soliman, 2015-2016 abandoned.
  • Pauline Traynard (Allocation Ecole Polytechnique), "Model Building by Temporal Logic Constraint Solving: Investigation of the Coupling between the Cell Cycle and the Circadian Clock", 10 May 2016, co-advised (50%) with Denis Thieffry, ENS. Post-doc Curie Institute, Paris, now application manager LIXOFT Paris.
  • Thierry Martinez (Inria, Engineer) “Execution models for Constraint Programming: kernel language design through semantics equivalence”, 17 Dec. 2015. Research Engineer Inria SED Paris.
  • Hui-Ju Chiang (National Taiwan University) "Biomolecular System Design: Architecture, Synthesis, and Simulation", 13 July 2015, co-advised (50%) with Jie-Hong Jiang, NTU, Taiwan, . TSMC Academician, R&D Manager, Taiwan.
  • Steven Gay (Allocation INRIA, contrat OSEO BioIntelligence), “Subgraph Epimorphisms: Theory and Applications to Model Reduction in Systems Biology” May 2015, co-direction (50%) avec Sylvain Soliman. Post-Doc Univ Louvain la Neuve, Belgium. Now Google Paris.
  • David Fournier (Allocation CIFRE, General Electric Transportation), co-direction (50%) avec Denis Mulard, GET, "Metro Regenerative Braking Energy Optimization through Rescheduling: Mathematical Model and Greedy Heuristics Compared to MILP and CMA-ES", 27 November 2014.
  • Faten Nabli (Allocation INRIA, contrat OSEO BioIntelligence), co-direction (50%) avec Sylvain Soliman, Postdoctorante SANOFI Paris, “A constraint programming approach to the analysis of Petri nets structural properties and application to biochemical networks”, juillet 2013.
  • Domitille Heitzler (Allocation INRA, contrat AgroBi et AEN Regate), co-direction (1/3) avec Eric Reiter et Frédérique Clément, Post-doctorante Dublin, Irelande. “Modélisation dynamique des mécanismes de signalisation cellulaire induits par l’hormone folliculo-stimulante et l’angiotensine”, janvier 2011.
  • Aurélien Rizk (Allocation INRIA, contrat EU FP6 STREP TEMPO), Scherrer Institute, Suisse,, “Résolution de Contraintes Temporelles pour l’Analyse de Systèmes Biologiques”, juin 2011.
  • Julien Martin (Allocation INRIA, contrat EU FP6 STREP Net-WMS), Ingénieur, Imaginatio Paris, “Un langage de modélisation à base de règles pour la programmation par contraintes”, juillet 2010.
  • Rémy Haemmerlé (Allocation INRIA, contrat RNTL MANIFICO) Ingénieur de Recherche, Université Politechnique de Madrid, Espagne “Langage linéaire concurrent avec contraintes noyau LCC(K)”, décembre 2007.
  • Aurélie Strobbe (bourse CIFRE, contrat Total), Ingénieur optimisation, EDF, “Ordonnancement du traitement des bruts dans une raffinerie en programmation par contraintes”, thèse rédigée, non soutenue 2007.
  • Nathalie Chabrier-Rivier (Allocation INRIA, contrat EU STREP APRIL II) Pivoine Informatique, “Modélisation et interrogation de modèles formels de systèmes biochimiques”. Non soutenue 2006.
  • Emmanuel Coquery (Bourse MENRST Paris 6 puis ATER CNAM, Univ. Paris 6)) Maître de Conférence, U. Lyon 1. “Typage et programmation en logique avec contraintes”, décembre 2004.
  • Sorin Craciunescu (AMX, ATER Paris 12, Ecole Polytechnique) Ingénieur eFront “Preuves d’équivalence de programmes logiques”. Mars 2004.
  • Sylvain Soliman (LIENS, X Armement, Univ. Paris 7) Chargé de Recherche INRIA Rocquencourt. “Programmation concurrente avec contraintes et logique linéaire”. Avril 2001.
  • Vincent Schächter (AMN ENS Paris, Univ. Orsay) Chercheur Genoscope Evry, puis Directeur Technologies Nouvelles TOTAL. “Programmation concurrente avec contraintes fondée sur la logique linéaire”. Décembre 1999.
  • Massimo Paltrinieri (Paris 7) Ingénieur Dresdner Bank, Francfort, Allemagne. “Programmation visuelle par contraintes et typage statique”. Mars 1998.
  • Etienne Gaudin (Bourse INRETS, Thomson, Paris 7) Ingénieur de Recherche BOUYGUES. “Contribution de la programmation par contraintes au transport: définition et résolution d’un modèle complexe de gestion de flotte”. Novembre 1997.
  • Paul Ruet (Contrat CIFRE LIENS, Thomson, Paris 7) Chargé de Recherche CNRS IML, Marseille, puis PPS, Paris. “Logique linéaire non-commutative mixte et programmation concurrente par contraintes”. Oct. 1997.
  • Laurent Perron (AMN ENS Paris, Univ. Orsay) Ingénieur ILOG, puis Directeur Optimisation Google. “CC(M) un noyau parallèle d’implantation des langages de contraintes concurrents”, Juillet 1997.
  • Thierry Sola (Thomson, Univ. Orsay) Ingénieur, ILOG Gentilly. “Modèles d’exécution de la Programmation Logique fondés sur le graphe de dépendance des liaisons: backtracking intelligent, maintien des déductions et contraintes”. Décembre 1995.
  • Julian Fowler (contrat CIFRE, Thomson, Univ. Orsay) Ingénieur, ILOG Londres, Angleterre. “Extension réactive de la programmation logique avec contraintes et applications en optimisation combinatoire.” Mai 1995.
  • Jean Jourdan (Thomson, Paris 7) Directeur de Recherche, THALES Corbeville. “Concurrence et coopération de modèles multiples dans les langages CLP et CC : vers une méthodologie de programmation par modélisation”. Février 1995.
  • Rémi Lissajoux (X Mines, Thomson, Paris 7) Directeur Transport, ILOG Gentilly. “Spécification de systèmes de transitions avec négation”. Thèse rédigée, non soutenue, 1994.
  • Marcos Cavalcanti (Thomson, Univ. Orsay) Professeur, Université Rio de Janeiro, Brésil. Co-direction (50%) Christine Froidevaux “Les mondes possibles dans les systemes de production : un metalangage pour la gestion d’hypotheses et le raisonnement non-monotone.” Juin 1993.
  • Pierre Savéant (Thomson, Paris 6) Ingénieur de Recherche, THALES Corbeville. Co-direction (50%) Norbert Cot “Raisonnement hypothétique et temps multiforme discret dans les systèmes de production”. 1990.
  • Luc Albert (INRIA, Univ. Orsay) Professeur classes préparatoires, Paris puis Nice. Co-direction (50%) Philippe Flajolet “Quelques analyses de complexité en moyenne sur les algorithmes de multi-filtrage, d’unification et de requêtes multiples”. Université Orsay. 1990.
  • Philippe Codognet (contrat CIFRE, Thomson, Univ. Bordeaux) Professeur Université Paris 6, co-directeur Japanese-French Laboratory for Informatics (JFLI), invited professor, Université de Tokyo, Japon. Co-direction (50%) Gilberto Filé “Backtracking intelligent en programmation logique : de la théorie à l’implémentation et à l’application au parallélisme.” 1989. .