The CyberSEA Research Lab has a new Visiting Scholar! Maxime Buyse is joining us from L’École Polytechnique Université Paris-Saclay in France for a summer internship. He will work on a project titled “Automated Theorem Proving for Distributed System Cybersecurity.”
Home / New Researcher / CyberSEA Research Lab Welcomes Maxime Buyse
CyberSEA Research Lab Welcomes Maxime Buyse