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

Students

I have advised, or co-advised, 29 Doctorate Thesis (25 defended, 4 not defended).

  • Jonas Sénizergues (Inria), co-advised by Sylvain Soliman, abandoned in 2016.
  • Pauline Traynard (Allocation Ecole Polytechnique), "Model Building by Temporal Logic Constraint Solving: Investigation of the Coupling between the Cell Cycle and the Circadian Clock", co-advised by Denis Thieffry, ENS, 10 May 2016. Post-doc Curie Institute, 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), co-advised by Jie-Hong Jiang, NTU, Taiwan, "Biomolecular System Design: Architecture, Synthesis, and Simulation", 13 July 2015. Principal R&D Engineer TSMC Taiwan.
  • Steven Gay (Allocation INRIA, contrat OSEO BioIntelligence), co-direction avec Sylvain Soliman, “Subgraph Epimorphisms: Theory and Applications to Model Reduction in Systems Biology” May 2015. Post-Doc Univ Louvain la Neuve, Belgium. Now Google Paris.
  • David Fournier (Allocation Cifre, General Electric Transportation), co-direction 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 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 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) mère au foyer, “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 “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. “Raisonnement hypothétique et temps multiforme discret dans les systèmes de production”. 1990. (codirection avec Norbert Cot)
  • Luc Albert (INRIA, Univ. Orsay) Professeur classes préparatoires, Paris puis Nice. “Quelques analyses de complexité en moyenne sur les algorithmes de multi-filtrage, d’unification et de requêtes multiples”. Université Orsay. 1990. (co-direction avec Philippe Flajolet)
  • 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. “Backtracking intelligent en programmation logique : de la théorie à l’implémentation et à l’application au parallélisme.” 1989. (co-direction avec Gilberto Filé).