Marc Frappier

Marc Frappier is a full professor at Université de Sherbrooke with over 25 years of academic experience. His research focuses on formal methods, security, and software synthesis. He holds a PhD from the University of Ottawa (1995), a Master's (1990) and Bachelor's (1986) from Université de Sherbrooke.

• Research Areas: Formal specification/verification, intrusion detection, access control, ASTD/TASTD modeling, automotive systems
• Grants: NSERC, MITACS, PSEPC, CSE Canada, Natural Resources Canada (total over $2.5M)

Selected Publications highlight formal methods in automotive systems, security policy verification, and real-time modeling. His work spans cross-domain collaborations including healthcare, industrial systems, and cybersecurity.

Scientific Awards:

• Distinguished Service Award 2019 (Cs-Can | Info-Can)

Committee Roles: Program Committee member for 15+ conferences (2012-2021), including ABZ, ICFEM, HASE, and RAMiCS.