Stages

Stages

Stage: Formalisation en Coq de Bases de Donnees Relationnelles et Deductives -et Mecanisation de Datalog

Ecole Nationale Supérieure d'Ingénieurs de Génie Chimique, 2017, 01-30 Juin

Stage: Analyse de code et processus d'evaluation des composants securises contre l'injection de faute

Université de Poitiers, 2016, 01-30 Juin

Stage: Exploitation dinformations riches pour guider la traduction automatique statistique

Institut National Polytechnique de Lorraine, 2005, 01-30 Juin

Stage: OF4OSM : un meta-modele pour structurer la folksonomie d'OpenStreetMap en une nouvelle ontologie

Université Lumiére (Lyon II), 2004, 01-30 Juin

Stage: Maintenance Predictive de reseaux dequipements fondee sur des contraintes spatiales et temporelles

Université Paris-Sorbonne (Paris IV), 2003, 01-30 Juin