Sujet de stages / de projet
*
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
Écriture d’une bibliothèque de récriture de requêtes dont certaines propriétés sont prouvées en Coq
Créer un langage de workflow permettant de réaliser des expériences numériques
Élaboration d’un modèle de méta-données pour PAGoDA et implémentation prototype