ADOPNET |
ADOPNET : Advanced Technologies for Operated Networks.
|
D2 - Networks, telecommunication and services |
ARCHWARE |
The main research domain of the ArchWare team concerns the software architecture. The software architecture provides the abstraction in order to rigorously design, develop and evolve software-intensive systems.
|
D4 - Language and software engineering |
CAPSULE |
CAPSULE: Applied Cryptography and Cryptographic implementation Security
CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post-quantum cryptography, security of cryptographic hardware and software...
|
D1 - Secured and large scale systems |
DEVINE |
DEVINE: Dependable distributed systems: Verification made efficient
Further information to come (including the research team's website)
The overall goal of the Devine project-team is to contribute to the design of dependable distributed systems...
|
D4 - Language and software engineering |
DIVERSE |
The main objective in DiverSE is to automatically compose and synthesize software diversity from design to runtime to address unpredictable evolutions of software intensive systems.
|
D4 - Language and software engineering |
DRUID |
DRUID : Declarative & Reliable management of Uncertain, user-generated Interlinked Data
|
D7 - Data and knowledge management |
DYLISS |
DYLISS is a bioinformatics team focusing on the identification and characterization of the groups of genetic actors that control the phenotypic response of individuals or species to their environment.
|
D7 - Data and knowledge management |
EASE |
The aim of the team is to ease development, deployment, evolution and maintenance of pervasive applications in complex environments with a strong focus on smart cities and smart agriculture.
|
D2 - Networks, telecommunication and services |
EMPENN |
Our goal is to foster research in medical imaging, neuroinformatics and population cohorts.
|
D6 - Signal, Image, Language |
EPICURE |
EPICURE
The frequent announcements of yet another cybersecurity breach show that the security of the software that surrounds us is, more than ever, a scientific challenge of utmost societal importance. More and more software is produced to operate...
|
D4 - Language and software engineering |
ERMINE |
ERMINE : mEasuRing and ManagIng Network operation and Economic
Networks are omnipresent and increasingly complex, and require an efficient management of their operations.
The team designs and analyzes procedures and policies for efficiently...
|
D2 - Networks, telecommunication and services |
EXPRESSION |
EXPRESSION : Expressiveness in Human Centered Data/Media
EXPRESSION focuses on studying human language data conveyed by different media: gesture, speech and text. Such data exhibit an intrinsic complexity characterized by the intrication of...
|
D6 - Signal, Image, Language |
GENSCALE |
GENSCALE : Scalable, Optimized and Parallel Algorithms for Genomics
The GenScale team works in close connection with biologist colleagues to propose algorithms and their implementations to process large genomic data generated by DNA sequencing...
|
D7 - Data and knowledge management |
GRANIT |
GRANIT, Green Radio and Adaptive Nodesfor IoT
In the outcoming sober low carbon society, designing low power sensors capable to be autonomous while ubiquitous with negligible energy and carbon footprint is a key challenge designers will have to...
|
D3 - Architecture |
HYBRID |
HYBRID : 3D interaction with virtual environments using body and mind
|
D5 - Virtual reality, virtual Humans, Interactions and Robotics |
HYCOMES |
HYCOMES, Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems
Our vision is that hybrid systems modeling tools deserve similar efforts in theory as synchronous languages did for the programming of embedded systems.
Scientif...
|
D4 - Language and software engineering |
INZU |
INZU : Opportunistic computing and networking for secure and reliable applications
The research activity of the INZU team is focused on opportunistic networks. These networks are composed of mobile nodes that communicate directly with each other...
|
D2 - Networks, telecommunication and services |
KERDATA |
KERDATA : Scalable Storage for Clouds and Beyond
KerData is a joint project-team of Inria, ENS Rennes and INSA Rennes and is part of the IRISA lab.
The KerData project-team is exploring innovative software architectures and systems for extreme...
|
D1 - Secured and large scale systems |
LACODAM |
LACODAM, Large Scale Collaborative Data Mining
The research objective is to greatly facilitate the process of making meaning from large amounts of data, either by deriving new knowledge or by making better decisions. Currently, this process is...
|
D7 - Data and knowledge management |
LINKMEDIA |
Creating and exploiting explicit links between multimedia fragments
Linkmedia is concerned with the processing of extremely large collections of multimedia material. The material we refer to are collections of documents that are created by humans...
|
D6 - Signal, Image, Language |
LogicA |
LogicA, Logic and Applications
Nowadays, many of our daily activities which were in the past performed in the ‘real’ world and in interaction with other humans, are carried out in a digital world in interaction with non-human ‘agents’: classic...
|
D4 - Language and software engineering |
MAGELLAN |
Magellan: Reliable and Responsible Decentralized Computing Infrastructures
The research team Magellan aims to enable the creation of efficient, robust, environment-friendly and rigorously-evaluated decentralized computing infrastructures. It focuses...
|
D1 - Secured and large scale systems |
MIMETIC |
MIMETIC : Analyse-Synthèse d'une approche de simulation humaine virtuelle
MimeTIC is a multidisciplinary team interested in better understanding, modeling and simulating human movement. To address this issue, MimeTIC's work is organized in a loop...
|
D5 - Virtual reality, virtual Humans, Interactions and Robotics |
OBELIX |
OBELIX, environment observation with complex imagery
|
D6 - Signal, Image, Language |
OCIF |
OCIF, Communicating Objects for the Future Internet
The goal of this project is to define, evaluate and validate protocol architectures related to the Internet of Things, in order to integrate and evolve existing network models. Over the years, the...
|
D2 - Networks, telecommunication and services |