Nadia Tawbi Axe 4 - Éthique, confidentialité et responsabilité sociale

Chercheur collaborateur

Université Laval
Faculté des sciences et de génie
Département d’informatique et de génie logiciel

Confidentialité Environnements intelligents Internet des objets Science des données

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.