Home
>
Groups
>
Research activities
> Data-centric languages and systems
About LRI
Groups
Research groups
Support groups
Joint Inria project teams
Research activities
Collaborations
Research results
Open positions
Teaching
Useful informations
Research activities: Data-centric languages and systems
Groups
Verification of Algorithms, Languages and Systems
Joint Inria project teams
Toccata
Research highlights
A Coq Formalization of the Relational Data Model
Contracts & grants
Typex
Software & patents
CDuce
Datacert
Collaborations
Members
BENZAKEN Véronique
CONTEJEAN Evelyne
NGUYEN Kim
DUMBRAVA Stéfania Gabriela
IM Hyeonseung
MARCOZZI Michaël
Ph.D. dissertations & Faculty habilitations
A Coq Formalization of Relational and Deductive Databases - and Mechanizations of Datalog
Research activities
°
Algorithm control and hyper-parameter tuning
°
Algorithms for networked systems
°
Automated Proof, SMT and Applications
°
Automated Reasoning
°
Combinatorics
°
Compilation and code optimization
°
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
°
Network coding
> more activities