Professeure titulaire, Faculté des sciences et de génie, Université Laval
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.