2017-2020 | Membre du comité de suivi de thèse de Boudhaouia-Miled Aida intitulée "Analyse, classification et prédiction de consommation d’eau et d’électricité par des techniques de machine learning" |
2016-2019 |
Thèse de Z. Heng, Category Theory for Data Modeling and Transformation. Encadrement : 80 %. Financement : gouvernement chinois |
2016-2017 | + Master Recherche de K. Agrawal, Reasoning in graph databases. + Master Recherche de N. Yadav, Scaffolding : dynamic views of graph databases. |
2015-2016 | Master Recherche de A. Saini, Functional processes and web applications. |
2012-2015 | Thèse de M. Mahfoudh, Réutilisation d’ontologies: compositions et adaptations.
Encadrement : 40 %. Financement : projet européen CCAlp |
2012-2016 | Thèse de H. Chanti, Evaluation performancielle des réglementations incendie: concepts et outils.
Encadrement : 40 %. Financement : contrat spécifique avec le CSTB |
2010-2011 | Master Recherche de H. Chanti, Implémentation ad-hoc d’ontologies en Haskell. |
2009-2010 | Master Recherche de A. Rahali, Métamodélisation fonctionnelle (EMF-Haskell). |
2006-2009 | Thèse de T. Collonvillé, Un processus agile pour le développement fiable de systèmes complexes.
Encadrement : 40 %. Financement : bourse ministérielle. |
2005-2006 | Master Recherche de P.M. Detoux, Composants de commande-contrôle avec CORBA3. |
2004-2005 | Master Recherche de R. Dalmata, DSL pour les logiciels concurrents validés. |
2003-2004 | Master Recherche de O. Brunner, Synthèse de modèles exécutables. |
2000-2001 | DEA de B. Zoghbi, Proposition d’une architecture pour la synthèse de comportement. |
1999-2000 | DEA de L. Mayer, Simulation 3D des modes de marche d’un robot à pattes. |