Full Professor, Faculty of Science and Engineering
Nadia Tawbi received a Ph.D. in Computer Science from the Université Pierre and Marie Curie, Paris, France in 1991. She worked as a researcher, then head of a research team at the Bull SA research center in France, before joining Université Laval where she is currently a Full Professor.
Her areas of expertise are static code analysis, formal verification and IT security, including language-based security approaches. She participated in several projects, including a formal verification project of a PowerScale (TM) machine to be built by Bull, and a malicious code detection project with DRDC Valcartier (Defence Research and Development Canada).
She has published several articles in the field of static analysis for automatic parallelization, static and dynamic analysis for verification, verification of cryptographic protocols and computer security.