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
Formation

  • PhD in Computer Science, 2004

    INRIA et Université Paris 6

Sujets de stage / Projets

*
All POM (Master 1)
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

Popular Topics

Academic access control bd code coq data pagoda pom rdf reproductibilité science ouverte workflow 开源

Contact