Algorithmes évolutionnaires  Algorithmique  Amphibiens -- Métamorphose  Analyse d'atteignabilité  Analyse par intervalles  Apprentissage automatique  Apprentissage de modèles  Apprentissage profond  Arithmétique d’Intervalles  Bacule métabolique  Bases de données orientées graphes  Bio-curation  Bioinformatique  Biologie -- Informatique  Biologie des systèmes  Biologie mathématique  Biologie moléculaire  Biologie systémique  Biotechnologie  Bisimulations  Calibrage  Cascades MAPK  Cascades de signalisation  Cellules eucaryotes  Citrate  Concurrence  Contrainte de non-chevauchement  Courbes paramétrées  Cycle cellulaire  Entrepôts -- Gestion  Flot d’information  Graphes, Théorie des  Heuristique  Inhibiteurs de kinases  Inhibiteurs des tyrosine kinases  Interprétation abstraite  Langages de programmation  Logique du second ordre  Logique linéaire  Logique mathématique  Logique temporelle  Modelisation in silico  Modèles mathématiques  Modélisation  Modélisation par règles de réécritures  Modélisation à base de règles  Morphisme des graphes  Morphismes  Métabolisme des eucaryotes  Méthodes de model-checking  Optimisation combinatoire  Optimisation mathématique  Pavage  Perturbation singulière  Petri, Réseaux de  Piste d'audit  Polymorphisme paramétrique  Problème de placement  Profils d’activation d’une voie de signalisation  Programmation concurrente  Programmation logique  Programmation par contraintes  Programmation parallèle  Quasi-treillis  Raisonnement non-monotone  Recherche opérationnelle  Représentation des connaissances  Rythmes circadiens  Réduction de modèles  Régulation  Réseaux de réactions chimiques  Réseaux de régulation génique  Rétroactivité  Réécriture de graphes  Satisfaction de contraintes  Sciences des données  Signalisation cellulaire  Simulation multi-agent  Simulation par ordinateur  Solveurs  Solveurs SAT  Somme de Minkowski  Surcharge  Systèmes biologiques  Systèmes dynamiques  Systèmes multi-Échelles  Sémantique des phases  Théorie des modèles  Transduction du signal cellulaire  Transformation de graphes  Voies de signalisation  Vérification  Vérification de modèle  Yarrowia lipolytica  Épiderme  

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

Informatique, données, IA
En préparation depuis le 16-09-2019
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-11-2018
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-09-2018
Thèse en préparation


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

Sciences appliquées
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue


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

Informatique et applications
Soutenue le 29-04-2016
Thèse soutenue

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


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