Je suis enseignante-chercheuse de l'Université Sorbonne Paris Nord (USPN). Je fais ma recherche au Laboratoire d'Informatique de Paris Nord (LIPN - UMR7030) dans l'équipe LoCal et la majorité de mes enseignements à l'IUT de Villetaneuse.
Mots clés concernant mes principaux axes de
recherche:
preuves formelles, calcul formel, formalisation des mathématiques,
nombres réels, logique, théorie des types, vérification,
analyse numérique, spécifications formelles, raffinement,
systèmes d'aide à la preuve, ...
Mots clés concernant mes principaux
enseignements:
architecture des ordinateurs, système, administration système, Linux,
réseaux, logique, programmation fonctionnelle, Rocq...