Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Web data management
Groups
Research activities: Web data management



Groups
  Large-scale Heterogeneous DAta and Knowledge
  Technical support

Joint Inria project teams
  ILDA

Research highlights
  WWW 2014: RDF Analytics: Lenses over Semantic Graphs

Contracts & grants
  pimi
  DW4RDF.2
  Datalyse
  GT BIOSS 2018 IA

Software & patents


Collaborations


Members
  WALLER Emmanuel
  BIDOIT Nicole
  SAÏS Fatiha
  CAUTIS Bogdan
  HUMBERT Denis
  HERSCHEL Mélanie
  RAFES Karima
  PAPALEO Laura
  GROZ Benoit
  GREFENSTETTE Gregory
  MANIU Silviu
  LEMDANI Roza
  POSADA GUTIERREZ Julian

Ph.D. dissertations & Faculty habilitations



Research activities
° Algorithm control and hyper-parameter tuning
° Algorithms for networked systems
° Automated Proof, SMT and Applications
° Automated Reasoning
° Combinatorics
° Compilation and code optimization
° Data-Centric Languages and Systems
° Deductive Verification of Programs
° Distributed algorithms
° Engineering of interactive systems
° Formal Model-Based Testing
° Formalisation and Proof of Numerical Programs
° Formalisation of (Specification and Programming) Languages in Proof Assistants
° Generative design methods
° Graph Theory
° Green networks
° Heterogeneous Wireless Networks
° High-performance computing
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data
° Mediated collaboration
° Multi-hop wireless networks