Emmanuel Coquery

Emmanuel Coquery

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

*
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
Collecte de données pour PAGODA
Implémentation d’un distositif de surveillance et de collecte automatique de données pour la traçabilité d’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
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

Contact