- Computer Science
- formal methods
- Security
- +۶ مورد دیگر
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.








