Rim Saddem-Yaoubi renforce l'équipe MoFED (Modèles et Formalismes à Événements Discrets)

Après avoir obtenu, en 2019, son doctorat en Automatique et Traitement du Signal à l’Université de Montpellier, elle est devenue Attachée Temporaire d’Enseignement et de Recherche (ATER) à l’université de Paris-Nanterre. Dans ce cadre, elle collabore de septembre 2018 jusqu’à août 2020 à l’UFR Sciences Économiques, Gestion, Mathématiques, Informatique (SEGMI) ainsi qu'au Laboratoire d’Informatique de Paris (LIP6- équipe MoVe) entre octobre 2019 et août 2020. Durant ces trois années, elle travaille sur l’intégration de la composante spatiale dans les processus métiers, en collaboration avec des collègues du LIP6 (son laboratoire de rattachement durant sa deuxième année d’ATER). Puis, d'avril 2021 à août 2022, elle rejoint en post-doc le laboratoire ESTAS (ex IFSTTAR) du département COSYS (Composant et Systèmes) de l’université Gustave Eiffel. Dans le cadre du projet européen PERFORMINGRAIL, elle fait des recherches sur l’application des méthodes formelles dans le domaine de transport ferroviaire. Elle s'intéresse à la vérification et la validation des spécifications de sécurité et fonctionnelles des systèmes de cantons mobiles. Elle a acquis dans ces différents postes une solide expérience dans le domaine de l’enseignement supérieur et de la recherche scientifique. Pour sa thèse intitulée « Model-checking pour l’agriculture de précision », elle a utilisé les techniques de model-checking afin de résoudre des problèmes spatiaux issus de l’agriculture de précision et de la robotique. Elle y a développé des méthodes innovantes et efficaces pour modéliser, vérifier et optimiser le contrôle des opérations spatialisées. La spatialisation des processus dynamiques en agriculture contribue à la difficulté combinatoire du model-checking.  Rim Saddem-Yaoubi a utilisé des méthodes de décomposition pour faire face à cet écueil.