Groups
  Algorithms and Complexity
  Toccata

Joint Inria project teams


Research highlights


Contracts & grants
  SCALP
  ALGOQP
  QRAC

Software & patents
  RUKIA

Collaborations
  Équipe de Logique Mathématique Université Paris Diderot Paris 7

Members
  DE ROUGEMONT Michel
  MAGNIEZ Frédéric
  JOHNEN Colette
  TIXEUIL Sébastien
  SANTHA Miklos
  MESSIKA Stéphane
  ROS Raymond
  ROSEN Adi
  CLEMENT Julien
  PEYRONNET Sylvain
  LARGILLIER Thomas
  FERNANDEZ DE LA VEGA Wenceslas
  VISHNOI Nisheeth
  BARDENET Rémi

Ph.D. dissertations & Faculty habilitations
  Several contributions to self-stabilization
  Approximate Verification - Quantum Computing
  Efficient Self-stabilization
  Toward self-stabilizing large-scale systems
  Self-Testing for Approximate and Qantum Computing

° 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