Maître de conférences en Informatique

LIRIS

Université Claude Bernard Lyon 1

Je suis enseignant-chercheur au département informatique de l’Université Lyon 1, membre de l’équipe Bases de Données du LIRIS.

Ancienne page

Intérêts
  • Experimentations in computer science
  • Security policies (languages, inference)
  • Data management
  • Declarative approaches and languages for data mining
  • Service specification and composition
  • Languages and types
Éducation
  • PhD in Computer Science, 2004

    INRIA et Université Paris 6

Sujet de stages / de projet

*
Mise à jour incrémentale pour les permissions RDF
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
Preuves en Coq pour la récriture de requêtes
Écriture d’une bibliothèque de récriture de requêtes dont certaines propriétés sont prouvées en Coq
Workflows scientifiques pour l’expérimentation en informatique
Créer un langage de workflow permettant de réaliser des expériences numériques
Métadonnées pour PAGoDA
Élaboration d’un modèle de méta-données pour PAGoDA et implémentation prototype

Contact