Marc Frappier
Quantum information
Department of Computer Science,
Faculty of Science
Research interests
- Development of methods and tools for building safe software
- Specification, refinement, implementation
- Automated property checking
- Intrusion detection
- Automatic generation of vulnerability tests