Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Heterogeneous wireless networks
Research activities: Heterogeneous wireless networks
The next generation network will be seen as a new initiative to bring together all heterogeneous wireless and wired systems under the same framework, to provide connectivity anytime and anywhere using any available technology [19]. Network convergence is therefore regarded as the next major challenge in the evolution of telecommunication technologies and the integration of computer and communications. One of the important points in this context is the development of mechanisms that are able to support transparent service continuity across different integrated networks through the use of appropriate interworking architecture, handover decision algorithms, context adaptation strategies, etc.

  Networking & Stochastic and Combinatorial Optimization

Joint Inria project teams

Research highlights

Contracts & grants

Software & patents



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
° 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
° High-performance computing
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data