Explore la vérification des modèles de détermination du temps, la planification U-Pool, l'analyse des pires temps d'exécution et la vérification statistique des modèles pour les systèmes cyber-physiques.
Explore la modélisation métabolique à laide de modèles TFA et cinétiques, couvrant la simulation de croissance, les compromis nutritifs, lanalyse phénotypique et lintégration métabolomique.
Explore les voies métaboliques, l'analyse de l'équilibre des flux, les modèles à l'échelle du génome et les systèmes sous-déterminés pour comprendre les microbiomes complexes.
Explore l'estimation des erreurs dans les méthodes numériques pour résoudre les équations différentielles, en se concentrant sur l'erreur de troncature locale, la stabilité et la continuité de Lipschitz.
