Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Distributed algorithms
Groups
Research activities: Distributed algorithms



Groups
  Parallel Systems

Joint Inria project teams


Research highlights
  Self-stabilizing Distributed Stable Marriage

Contracts & grants


Software & patents


Collaborations


Members
  BEAUQUIER Joffroy
  DELAËT Sylvie
  ROSAZ Laurent
  ROZOY Brigitte
  FURTLEHNER Cyril
  ABBASSI Abdelkrim
  COHEN Johanne
  BLANCHARD Peva
  BURMAN Janna
  CLAVIERE Simon
  SHRIT Omar
  NOWAK Thomas
  BAMPAS Evangelos
  EL MOUSSAWI Adnan

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
° 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
° Network coding