Research subjects

Research subjects

Sujet de recherche: Intelligence Artificielle et Sante : mise au point de nouveaux biomarqueurs vocaux
Sujet de recherche: Formal modeling and quantitative analysis of security using attack- defense trees
Sujet de recherche: Apprentissage automatique avec verification formelle
Sujet de recherche: Modelisation de systemes dynamiques par reseaux de neurones a memoire courte et longue