�Ӱ�ԭ��

Maxime Buyse

Formal Verification Engineer, Cryspen

• Engineering Degree (L’École Polytechnique Université Paris-Saclay)
• Email Maxime Buyse

Visiting Scholar (L’École Polytechnique Université Paris-Saclay)

• Project Topic: Automated Theorem Proving for Distributed System Cybersecurity
• Active in CyberSEA: April 2019–August 2019