Houda MOUHCINE

– Pilotage d'un projet R&D en calcul scientifique avec vérification formelle (roadmap, Agile, livrables). – Développement d'algorithmes numériques et formalisation de leur correction sous Rocq. – Application de méthodes formelles pour renforcer la sécurité de systèmes informatiques complexes. – Coordination d'équipes pluridisciplinaires et animation des rituels Agile. – Présentation des travaux lors de conférences internationales et publication scientifiques.

– Formalisation en Rocq de théories mathématiques et développement d'algorithmes certifiés. – Conception et extension d'une bibliothèque de calcul d'intégrales formellement vérifiée. – Gestion de backlog, priorisation des tâches et coordination d'équipe en environnement Agile (Scrum). – Animation des rituels Agile (daily, sprint reviews, rétrospectives, démonstrations).

– Analyse de signaux oculaires et modélisation de la vigilance des conducteurs. – Développement d'algorithmes de Machine Learning (Python/C++) pour la détection de somnolence. – Gestion Agile de projets IA et coordination d'équipes pluridisciplinaires. – Reporting aux parties prenantes industrielles (VINCI Énergies, SNCF Île-de-France).

– Étude de la cyclicité et des sous-espaces invariants dans les espaces de Dirichlet à poids harmoniques.