Notariat et numérique - Les chercheurs en informatique

Fabrice Legond-Aubry (https://pages.lip6.fr/Fabrice.Legond-Aubry/) est actuellement maître de conférences à l'Université Paris Nanterre et chercheur au Laboratoire d'Informatique de Paris 6 (LIP6, CNRS-UMR 7606).
Il a soutenu sa thèse en informatique à l'université Pierre et Marie Curie (UPMC) en 2007.
Ses principaux sujets de recherche sont la programmation par contrats et par aspects, la
séparation des préoccupations et les systèmes complexes distribués et concurrents.
Il a contribué à l'élaboration d'un algorithme d'exclusion mutuelle sur plusieurs niveaux.
Il a étudié la fusion et la génération de code dynamique dans le cadre de la programmation orientée aspect.
Il a été ingénieur recherche, administrateur système et expert sécurité au laboratoire
d'informatique de Paris 6 et assure encore partiellement ces fonctions à l'université Paris Nanterre. Il a été gestionnaire de plusieurs clusters de calcul de ce même laboratoire.
Il a travaillé sur la vérification d'algorithmes distribués pour en assurer la sûreté de
fonctionnement.
Enfin, il a été Correspondant Informatique et Libertés (CIL) pendant un an à l'université Paris Nanterre.
Il enseigne la sécurité informatique, la programmation mobile, les systèmes distribués et l'administration système/réseau aux universités Paris Nanterre et Pierre et Marie Curie.
Il encadre des étudiants en alternance dans le domaine de la sécurité bancaire ou dans le cadre de la dématérialisation de l'Etat à la DGFIP par exemple.

Pascal Poizat est professeur des universités à l’Université Paris Nanterre et chercheur au Laboratoire d’Informatique de Paris 6 (LIP6, CNRS-UMR 7606) au sein de l’université Pierre et Marie Curie.
Il a obtenu une thèse en informatique de l’université de Nantes en 2000 et une habilitation à diriger des recherches de l’université Paris-Sud en 2011.
Ses thématiques de recherche s’intéressent au développement et à la maintenance des logiciels, et plus particulièrement aux problématiques liées à la composition, la distribution et l’interaction.
Dans ce contexte, il s’appuie sur l’utilisation de méthodes formelles pour définir des approches bien fondées et des outils pour la composition automatique de services, l’adaptation logicielle, le test et la vérification.
Ses travaux actuels portent sur la conception et l’analyse des processus métiers.
Il a publié sept articles dans des revues internationales et 40 dans des conférences internationales.
Il a été membre de la section 6 du comité national du CNRS et co-responsable du groupe de travail COSMAL du GDR Génie de la Programmation et du Logiciel.
Il est actuellement membre du conseil académique de la COMUE Paris Lumières et directeur du Master MIAGE (Méthodes Informatiques Appliquées à l
a Gestion des Entreprises) de l’université Paris Nanterre en formation initiale.