Professeure titulaire, Faculté des sciences et de génie

Nadia Tawbi a reçu un Ph.D. en informatique de l’université Pierre et Marie Curie, Paris, France en 1991. Elle a travaillé comme chercheur, puis responsable d’une équipe de recherche au centre de recherche de BULL SA en France, avant de rejoindre l’université Laval où elle y est actuellement comme professeure titulaire.

Ses domaines d’expertise sont l’analyse statique de code, la vérification formelle et la sécurité informatique, notamment les approches basées langage   (language-based security). Elle a participé à plusieurs projets, dont un projet de vérification formelle d’une machine à construire par Bull, PowerScale (TM ) et un projet de détection de code malicieux avec RDDC de Valcartier (Recherche et Développement pour la Défense Canada).

Elle a publié plusieurs articles dans le domaine de l’analyse statique pour la parallélisation automatique, l’analyse statique et dynamique pour la vérification, la vérification de protocoles cryptographiques et la sécurité informatique.

Champs d’intérêts

  • Sécurité Informatique
  • Vérification formelle
  • Analyse statique et dynamique de code

 

 

Domaines d’intervention

  • Éthique, confidentialité et acceptabilité sociale
  • Environnement physique

Groupe de recherche 

  • Centre de recherche en données massives (CRDM)

Restons en contact!

Vous souhaitez être informé des nouvelles et activités de l'IID? Abonnez-vous dès maintenant à notre infolettre mensuelle.