Keywords:
  - Qos in networks
  - Sensors network
  - Ad hoc networks
  - Wireless networks
  - Mobile networks

Groups
  Networking

Joint Inria project teams


Research highlights


Contracts & grants
  FRANCE TELECOM

Software & patents
  Qolyester

Collaborations


Members
  AL AGHA Khaldoun
  GAWEDZKI Ignacy
  ROSEN Adi
  TRIANTAFYLLIDOU Despoina
  CLEMENT Julien
  NICOLAU Miguel
  RAHME Joseph
  CHAVEZ SANTIAGO Raul
  ODOU Simon
  KADI Nour
  AWAL Mohammad Abdul
  BENFATTOUM Youghourta

Ph.D. dissertations & Faculty habilitations

° 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