Archive des nouveaux arrivants
| Nom | Corps | Equipe de recherche | Mots-clés | |
|---|---|---|---|---|
|
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 |
| Nom | Corps | Equipe de recherche | Mots-clés | |
|---|---|---|---|---|
|
Stéphanie CHATILLA | MCF (UR1) | DIVERSE | Model-Driven Engineering, Software Language Engineering, Reverse-Engineering, Model Verification & Validation, Cloud Computing |
|
Benoît COMBEMALE | PR (UR1) | DIVERSE | Software Engineering, (Domain-Specific) Languages, Validation & Verification, Resilience Engineering, ICT for Sustainability |
|
Claire CURY | CR (Inria) | EMPENN | Shape analysis, Computational neuroanatomy, Brain modelisation, Neurofeedback, Image and signal processing |
|
Guillaume DOYEN | Professeur | OCIF | approches orientées contenu, scalabilité, décentralisation, autonomie, comportements malveillants, supervision, détection |
|
Pierre-François GIMENEZ | MCF (CentraleSupelec) | CIDRE | Machine learning ‐ Cybersécurité ‐ Détection d'intrusion ‐ Attaque par injection |
|
Joseph LALLEMAND | CR (CNRS) | EMSEC | sécurité, protocoles cryptographiques, méthodes formelles, vote électronique, privacy |