Groups


Joint Inria project teams


Research highlights


Contracts & grants


Software & patents
  GUIDE
  SIMBAD

Collaborations


Members
  BREDECHE Nicolas
  JEBALIA Mohamed
  HARTLAND Cédric
  DEVERT Alexandre
  NICOLAU Miguel
  JIANG Fei
  DA COSTA Luis
  BIBAI Jacques
  SILVESTRE FIALHO Alvaro Roberto
  TEYTAUD Fabien
  BROCKHOFF Dimo
  BARDENET Rémi
  DELARBOULAS Pierre

Ph.D. dissertations & Faculty habilitations
  Contributions to Evolutionary Design of Embodied Agents

° 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