![Photo of Maxime Buyse Photo of Maxime Buyse](https://carleton.ca/cybersea/wp-content/uploads/MaximeBuyse-1-200x200.png)
Maxime Buyse
Formal Verification Engineer, Cryspen
Degrees: | Engineering Degree (L’École Polytechnique Université Paris-Saclay) |
Email: | maxime.buyse@polytechnique.edu |
LinkedIn: | Connect |
Visiting Scholar (L’École Polytechnique Université Paris-Saclay)
- Project Topic: Automated Theorem Proving for Distributed System Cybersecurity
- Active in CyberSEA: April 2019–August 2019