Home
>
Groups
>
Research activities
> Floating-point arithmetic
About LRI
Groups
Research groups
Support groups
Joint Inria project teams
Research activities
Collaborations
Research results
Open positions
Teaching
Useful informations
Research activities: Floating-point arithmetic
Groups
Joint Inria project teams
Research highlights
Formal Verification of Floating-Point Programs
Contracts & grants
CerPAN
FOST
HISSEO
Software & patents
Gappa
Coq.FP2
Flocq Library
Collaborations
Members
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
°
Heterogeneous Wireless Networks
°
High-performance computing
°
Human-Computer Interaction
°
Integration of Data and Knowledge
°
Interaction and visualization paradigms
°
Large scale modelling
> more activities