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