Home
>
Groups
>
Research activities
> High-performance computing
About LRI
Groups
Research groups
Support groups
Joint Inria project teams
Research activities
Collaborations
Research results
Open positions
Teaching
Useful informations
Research activities: High-performance computing
Groups
Parallel Systems
Joint Inria project teams
Postale
Research highlights
Contracts & grants
R-LAS
Software & patents
RBT solver
MAGMA
SUNFLUIDH (collaboration LIMSI)
Collaborations
Members
EISENBEIS Christine
BABOULIN Marc
REMY Adrien
MASLIAH Ian
MARTSINKEVICH Tatiana
LACASSAGNE Lionel
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
°
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
> more activities