Nadia Tawbi is a Full Professor in the Faculty of Science and Engineering at Laval University. She received a Ph.D. in computer science from the Pierre and Marie Curie University, Paris, France in 1991. She worked as a researcher, then head of a research team at the research center of BULL SA in France, before joining Laval University 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 machine to be built by Bull, PowerScale (TM) 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.