Profile updated

Team

Marc Frappier

Département d’informatique,

Faculté des sciences

Phone : 819 821-8000, poste 62096

Email : marc.frappier@uhserbrooke.ca

Personal website : https://info.usherbrooke.ca/mfrappier/

Biography

Research subjects

Software engineering
Formal specification and design methods
IT security

Current research

Development of methods and tools for building safe software
Specification, refinement, implementation
Automated property checking
Intrusion detection
Automatic generation of vulnerability tests

Publications

Publications of Prof. Marc Frappier