ERD

SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture

01-01-2017

-

31-12-2021

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ECSTATIC | Electrostructural Tomography – Towards Multiparametric Imaging of Cardiac Electrical Disorders

01-02-2017

-

31-07-2022

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

PARQ | Lattices in a Parallel and Quantum World

01-07-2020

-

30-06-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ARTIV1 | An Artificial Visual Cortex for Image Processing

01-04-2017

-

30-09-2018

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

aSCEND | Secure Computation on Encrypted Data

01-06-2015

-

31-05-2021

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

MENTE | MultiscalE dynamics on high-order NeTworks applied to Epilepsy

01-01-2023

-

31-12-2024

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation

01-03-2017

-

28-02-2022

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

MONNALISA | Modelling Nonlinear Aerodynamics of Lifting Surfaces

01-01-2021

-

31-03-2023

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

AlgoQIP | Beyond Shannon: Algorithms for optimal information processing

01-01-2021

-

31-12-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

GRANITE | Integrated AI Diagnostics in Breast Cancer

02-09-2024

-

31-10-2026

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

INTERACT | Help Me Grow: Artificial Cognitive Development via Human-Agent Interactions Supported by New Interactive, Intrinsically Motivated Program Synthesis Methods.

01-10-2022

-

31-08-2026

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

SLAB | Signal processing and Learning Applied to Brain data

01-09-2016

-

31-08-2021

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

DANCINGFOOL | High-impedance Superconducting Circuits Enabling Fault-tolerant Quantum Computing by Wideband Microwave Control

01-12-2022

-

30-11-2027

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

RECeSS | Robust Explainable Controllable Standard for drug Screening

01-05-2023

-

30-04-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

SoBaSyC | Solid Basis for Symmetric Cryptography

01-04-2024

-

31-03-2029

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

SPEARS | Skill Performance Estimation from cARdiac Signals

01-01-2024

-

30-06-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

TITANIUM | Software Components for Robust Geometry Processing

01-01-2017

-

30-06-2018

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ONE | Unified Principles of Interaction

01-10-2016

-

31-03-2023

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

PERF-AI | Enhance Aircraft Performance and Optimisation through utilisation of Artificial Intelligence

01-11-2018

-

31-10-2020

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ReSCALE | Reinventing Symmetric Cryptography for Arithmetization over Large fiElds

01-09-2022

-

31-08-2027

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

CRYSPEN | Custom Cryptographic Solutions with Formal Security Guarantees

01-04-2022

-

30-09-2023

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

LP-NORM | Leveraging Precision in Numerical Optimization for Robotic Motions

01-08-2022

-

31-07-2024

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

DYNASTY | Dynamics-Aware Theory of Deep Learning

01-10-2022

-

30-09-2027

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

10000 DIGITS | Foundations of transcendental methods in computational nonlinear algebra

01-04-2022

-

31-03-2027

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

BridgingScales | From single cells to microbial consortia: bridging the gaps between synthetic circuit design and emerging dynamics of heterogeneous populations

01-05-2023

-

30-04-2028

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

LIGHTAIDGE | Light-weight, emissions aware, simulation and orchestration of Edge Computing and Edge Intelligence

01-05-2023

-

30-04-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

APHELEIA | Reconciling Classical and Modern (Deep) Machine Learning for Real-World Applications

01-09-2023

-

31-08-2028

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

PENNSION | Partition and accumulation of ENtropy in infinite-dimeNSIONs

01-08-2023

-

31-07-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

DLift | Lifting Design Drawings to 3D

01-04-2024

-

30-09-2025

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

INCORWAVE | Nonlinear inversion of correlation waveforms with hierarchical reconstructions

01-01-2024

-

31-12-2028

Show more information

Organisation INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Projects overview

Selected filters:

SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture

ECSTATIC | Electrostructural Tomography – Towards Multiparametric Imaging of Cardiac Electrical Disorders

PARQ | Lattices in a Parallel and Quantum World

ARTIV1 | An Artificial Visual Cortex for Image Processing

aSCEND | Secure Computation on Encrypted Data

MENTE | MultiscalE dynamics on high-order NeTworks applied to Epilepsy

Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation

MONNALISA | Modelling Nonlinear Aerodynamics of Lifting Surfaces

AlgoQIP | Beyond Shannon: Algorithms for optimal information processing

GRANITE | Integrated AI Diagnostics in Breast Cancer

INTERACT | Help Me Grow: Artificial Cognitive Development via Human-Agent Interactions Supported by New Interactive, Intrinsically Motivated Program Synthesis Methods.

SLAB | Signal processing and Learning Applied to Brain data

DANCINGFOOL | High-impedance Superconducting Circuits Enabling Fault-tolerant Quantum Computing by Wideband Microwave Control

RECeSS | Robust Explainable Controllable Standard for drug Screening

SoBaSyC | Solid Basis for Symmetric Cryptography

SPEARS | Skill Performance Estimation from cARdiac Signals

TITANIUM | Software Components for Robust Geometry Processing

ONE | Unified Principles of Interaction

PERF-AI | Enhance Aircraft Performance and Optimisation through utilisation of Artificial Intelligence

ReSCALE | Reinventing Symmetric Cryptography for Arithmetization over Large fiElds

CRYSPEN | Custom Cryptographic Solutions with Formal Security Guarantees

LP-NORM | Leveraging Precision in Numerical Optimization for Robotic Motions

DYNASTY | Dynamics-Aware Theory of Deep Learning

10000 DIGITS | Foundations of transcendental methods in computational nonlinear algebra

BridgingScales | From single cells to microbial consortia: bridging the gaps between synthetic circuit design and emerging dynamics of heterogeneous populations

LIGHTAIDGE | Light-weight, emissions aware, simulation and orchestration of Edge Computing and Edge Intelligence

APHELEIA | Reconciling Classical and Modern (Deep) Machine Learning for Real-World Applications

PENNSION | Partition and accumulation of ENtropy in infinite-dimeNSIONs

DLift | Lifting Design Drawings to 3D

INCORWAVE | Nonlinear inversion of correlation waveforms with hierarchical reconstructions