Groups
  Technical support
  Large-scale Heterogeneous DAta and Knowledge

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
  QUERCINI Gianluca
  HERSCHEL Mélanie
  RAFES Karima
  PAPALEO Laura
  GROZ Benoit
  GREFENSTETTE Gregory
  MANIU Silviu
  LEMDANI Roza
  POSADA GUTIERREZ Julian
  DESTANDAU Marie

Ph.D. dissertations & Faculty habilitations
  Linked Data at university : the LinkedWiki platform

° 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
° Digital Fabrication
° Distributed algorithms
° Distributed Design
° Engineering of interactive systems
° Fab lab
° 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