Archive des nouveaux arrivants
Nom | Corps | Equipe de recherche | Mots-clés | |
---|---|---|---|---|
Marcello TRAIOLA | CR (Inria) | TARAN | Embedded systems, Hardware Accelerators, Energy-efficient computing, Approximate Computing, Reliability, Test | |
Riccardo VICEDOMINI | CR (CNRS) | GENSCALE | Algorithms for Bioinformatics, Genomics, Metagenomics, Sequencing Data, Metagenome Strain Assembly, Protein-domain annotation. |
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 |