Algorithmes  Algorithmes évolutionnaires  Algèbre linéaire  Algèbre tensorielle  Amphibiens -- Métamorphose  Analyse d'atteignabilité  Analyse par intervalles  Analyse structurelle  Apprentissage automatique  Apprentissage de modèles  Apprentissage statistique  Arithmétique d’Intervalles  Bacule métabolique  Base creuse d’un espace vectoriel  Bases de données orientées graphes  Bio-curation  Bioinformatique  Biologie -- Informatique  Biologie systémique  Calcul formel  Chronothérapie  Heuristique  Interprétation abstraite  Logique temporelle  Modèles mathématiques  Modèles relationnels probabilistes  Modélisation mécaniste  Médecine personnalisée  Optimisation combinatoire  Petri, Réseaux de  Programmation logique  Programmation par contraintes  Programmation parallèle  Représentation des connaissances  Rythmes circadiens  Systèmes biologiques  

François Fages dirige actuellement les 2 thèses suivantes :

Développement et implémentation d'un modèle mathématique d'inflammation dans la peau humaine

par Eléa Greugny (Thibault greugny) sous la direction de François Fages - Institut polytechnique de Paris

Informatique, données, IA

En préparation depuis le 16-09-2019

Sur l'apprentissage automatique de modèles mécanistes à partir de données temporelles avec application aux chronothérapies personnalisées

par Julien Martinelli sous la direction de François Fages - Institut polytechnique de Paris

Informatique, données, IA

Soutenue le 18-02-2022

François Fages a dirigé les 20 thèses suivantes :

Méthodes computationnelles pour améliorer les phases primaires de recherche de nouveaux médicaments

par Jeremy Grignard sous la direction de François Fages et de Thierry Dorval . - Institut polytechnique de Paris

Informatique

Soutenue le 17-06-2022

On learning mechanistic models from time series data with applications to personalised chronotherapies

par Julien Martinelli sous la direction de François Fages et de Annabelle Ballesta . - Institut polytechnique de Paris

Informatique

Soutenue le 18-02-2022

Model Building by Temporal Logic Constraint Solving : Investigation of the Coupling between the Cell Cycle and the Circadian Clock

par Pauline Traynard sous la direction de François Fages et de Denis Thieffry . - Sorbonne Paris Cité

Informatique

Soutenue en 2016

Subgraph Epimorphisms : Theory and Application to Model Reductions in Systems Biology

par Steven Gay sous la direction de François Fages - Sorbonne Paris Cité

Informatique

Soutenue en 2015

Metro regenerative braking energy : optimization through rescheduling : mathematical model and greedy heuristics compared to MILP and CMA-ES

par David Fournier sous la direction de François Fages - Paris 7

Informatique

Soutenue en 2014

Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques

par Faten Nabli sous la direction de François Fages et de Sylvain Soliman . - Paris 7

Informatique

Soutenue en 2013

Résolution de Contraintes Temporelles pour l'Analyse de Systèmes Biologiques

par Aurélien Rizk sous la direction de François Fages - Paris 7

Informatique

Soutenue en 2011

Un langage de modélisation à base de règles pour la programmation par contraintes

par Julien Pierre Martin sous la direction de François Fages - Paris 6

Informatique

Soutenue en 2010

Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire

par Rémy Haemmerlé sous la direction de François Fages - Paris 7

Informatique

Soutenue en 2008

Preuves d'équivalence de programmes logiques

par Sorin Craciunescu sous la direction de François Fages - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2004

Typage et programmation en logique avec contraintes

par Emmanuel Coquery sous la direction de François Fages - Paris 6

Informatique

Soutenue en 2004

Programmation Concurrente avec Contraintes et Logique Linéaire

par Sylvain Soliman sous la direction de François Fages - Paris 7

Programmation

Soutenue en 2001

Programmation concurrente avec contraintes fondee sur la logique lineaire

par Vincent Schachter sous la direction de François Fages - Paris 11

Sciences et techniques

Soutenue en 1999

Programmation visuelle par contraintes et typage statique

par MASSIMO PALTRINIERI sous la direction de François Fages - Paris 7

Sciences appliquées

Soutenue en 1998

Logique non-commutative et programmation concurrente par contraintes

par PAUL RUET sous la direction de François Fages - Paris 7

Sciences appliquées

Soutenue en 1997

Cc(m), un noyau parallele pour l'implantation des langages de contraintes concurrents

par Laurent Perron sous la direction de François Fages - Paris 11

Sciences appliquées

Soutenue en 1997

Contribution de la programmation par contraintes au transport : definition et resolution d'un modele complexe de gestion de flotte

par ETIENNE GAUDIN sous la direction de François Fages - Paris 7

Sciences appliquées

Soutenue en 1997

Extension réactive de la programmation logique avec contraintes et applications en optimisation combinatoire

par Julian Fowler sous la direction de François Fages - Paris 11

Informatique

Soutenue en 1995

Concurrence et cooperation de modeles multiples dans les langages de contraintes clp et cc : vers une methodologie de programmation par modelisation

par Jean Jourdan sous la direction de François Fages - Paris 7

Sciences appliquées

Soutenue en 1995

Les mondes possibles dans les systemes de production : un metalangage pour la gestion d'hypotheses et le raisonnement non monotone

par Marcos Cavalcanti sous la direction de François Fages - Paris 11

Sciences appliquées

Soutenue en 1993

François Fages a été président de jury des 3 thèses suivantes :

Knowledge representation and curation in hierarchies of graphs

par Ievgeniia Oshurko sous la direction de Russ Harmer - Lyon

Informatique

Soutenue le 06-07-2020

Modélisation de la bascule métabolique chez les cellules eucaryotes : application à la production de citrate chez la levure Yarrowia lipolytica

par Jorgelindo Da veiga moreira sous la direction de Laurent Schwartz et de Sabine Pérès . - Université Paris-Saclay (ComUE)

Biologie

Soutenue le 18-04-2019

Packing curved objects with interval methods

par Ignacio Antonio Salas Donoso sous la direction de Nicolas Beldiceanu - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 29-04-2016

François Fages a été rapporteur des 6 thèses suivantes :

PROCOP : probabilistic rules compilation and optimisation

par Gaspard Ducamp sous la direction de Christophe Gonzales et de Pierre-Henri Wuillemin . - Sorbonne université

Informatique

Soutenue le 13-04-2021

Knowledge representation and curation in hierarchies of graphs

par Ievgeniia Oshurko sous la direction de Russ Harmer - Lyon

Informatique

Soutenue le 06-07-2020

Logical foundations of a modelling assistant for molecular biology

par Adrien Husson sous la direction de Jean Krivine - Université Paris Cité

Informatique

Soutenue le 16-12-2019

Formal methods for modelling and validation of biological models

par Alexandre Rocca sous la direction de Thao Dang - Université Grenoble Alpes (ComUE)

Mathématiques Appliquées

Soutenue le 07-05-2018

Bases creuses en algèbre linéaire exacte et simplification algorithmique de modèles biologiques

par Alexandre Temperville sous la direction de François Boulier et de François Lemaire . - Lille 1

Informatique

Soutenue le 11-07-2016

Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne

par Sylvie Troncale sous la direction de Gilles Bernot et de Jean-Paul Comet . - Evry-Val d'Essonne

Bioinformatique

Soutenue le 12-09-2008

François Fages a été membre de jury des 6 thèses suivantes :

Relations entre modèles d’activités humaines et modèles du cerveau : application aux jeux sérieux en clinique

par Thibaud L'Yvonnet sous la direction de Sabine Moisan et de Elisabetta De Maria . - Université Côte d'Azur

Informatique

Soutenue le 28-03-2022

Méthodes d'inférence de cibles thérapeutiques et de séquences de traitement

par Jérémie Pardo sous la direction de Franck Delaplace et de Sergiu Ivanov . - université Paris-Saclay

Informatique

Soutenue le 03-02-2022

Abstractions de différences exactes de réseaux de réactions : améliorer la précision de prédiction de changements de systèmes biologiques

par Emilie Allart sous la direction de Joachim Niehren - Université de Lille (2018-2021)

Informatique et applications

Soutenue le 29-01-2021

Formal and exact reduction for differential models of signalling pathways in rule-based languages

par Ferdinanda Camporesi sous la direction de Jérôme Feret et de Radhia Cousot . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 23-01-2017

Rétroactivité dans la transduction du signal : étude comparative des réponses en aval et en amont dans les cascades de signalisation

par Simona Catozzi sous la direction de Jacques-Alexandre Sepulchre - Université Côte d'Azur (ComUE)

Mathématiques

Soutenue le 15-12-2016

Bisimulation techniques and algorithms for concurrent constraint programming

par Andrés Aristizábal sous la direction de Frank Valencia et de Catuscia Palamidessi . - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2012