Archives: New Researcher

Monday, April 1, 2019

CyberSEA Research Lab Welcomes Maxime Buyse

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... More

Load More →