|
David Baelde |
PR (ENS) |
EMSEC |
sécurité, protocoles, preuve formelle, logique |
|
Karel Brinda |
CR ISFP (Inria) |
GENSCALE |
Bioinformatics, Algorithms, Data Structures, Rapid Diagnostics, Genomics, Pathogens, Antibiotic Resistance |
|
Francesca Galassi |
MCF (UR1) |
EMPENN |
Image and Signal Processing and Analysis, Medical Imaging, Clinical Decision Support Systems, Machine Learning. |
|
Nicolas Huin |
MCF (IMT Atlantique) |
ADOPNET |
optimisation des réseaux, 5G, réseaux virtualisés, méthodes de décomposition |
|
François Lesueur |
MCF (UBS) |
CASA |
Sécurité numérique, systèmes distribués |
|
Benoît Montagu |
CR (Inria) |
CELTIQUE |
langages de programmation, analyse statique de programmes, cybersécurité, vérification de programmes, flot d'information. |
|
Barbe Thystere Mvondo Djob |
MCF (UR1) |
WIDE |
Système d'exploitation, Virtualisation, Performance, Architecture hétérogène, Système distribués, Sécurité |
|
Renzo Navas |
MCF (IMT Atlantique) |
OCIF |
Cybersecurity, Internet of Things, Network Security, Moving Target Defense, Insider-Attacks, LPWANs |
|
Simon Rokicki |
MCF (ENS Rennes) |
TARAN |
Embedded systems, Energy efficient computing, High-Level Synthesis, Dynamic Compilation |