Sujet de stages / de projet
*
Écriture d’une bibliothèque de récriture de requêtes dont certaines propriétés sont prouvées en Coq
Implémentation d’un distositif de surveillance et de collecte automatique de données pour la traçabilité d’expériences numériques
Élaboration d’un modèle de méta-données pour PAGODA et implémentation prototype
Mise au point et implémentation d’un algorithme incrémental pour la mise à jour des permissions fines sur une base de données RDF