I am a professor in the Computer Science Department of Laval University. I received my Masters degree as well as my Ph.D. from Laval University. Also, I hold a diploma of engineer in computer science. My research activities focus on computer security and formal methods.