Home
>
Groups
>
Research activities
> Quantum computing
About LRI
Groups
Research groups
Support groups
Joint Inria project teams
Research activities
Collaborations
Research results
Open positions
Teaching
Useful informations
Research activities: Quantum computing
Groups
Parallel Systems
Joint Inria project teams
Research highlights
Contracts & grants
Software & patents
Collaborations
Members
VALIRON Benoît
BABOULIN Marc
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
°
Distributed algorithms
°
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
> more activities