Nadia Tawbi Axe 4 - Éthique, confidentialité et acceptabilité sociale
Chercheur collaborateur
Université Laval
Faculté des sciences et de génie
Département d’informatique et de génie logiciel
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.