Message from the MMNS Workshop Co-Chairs

2005-2008 Université du Québec à Montréal Ph.D. in Computer Science. Dissertation: “Specification, Verification and Satisfiability of Hybrid Constraints by Reduction to Temporal Logic.” Advisors: Omar Cherkaoui, Roger Villemaire. Research project in collaboration with the CANARIE consortium, funded by a postgraduate scholarship from the Natural Sciences and Engineering Research Council (NSERC). 2003-2005 Université du Québec à Montréal M.Sc. in Mathematics and Computer Science. Advisor: Roger Villemaire. Research project in collaboration with Cisco Systems inc., funded by a scholarship from Institut des Sciences Mathématiques (ISM). 2002 Université Laval Certificate in Computer Science 1999-2002 Université Laval B.Sc. in Mathematics 1997-1999 Petit Séminaire de Québec International Baccalaureate (IB) in Pure Sciences, Bilingual Diploma (French/English)