SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Clément Blaudeau

Registered user since Wed 27 Nov 2019

Name:Clément Blaudeau
Bio:

After doing my “classes préparatoires” in Lycée Sainte-Geneviève in Versailles, France, I did my bachelor and master at École Polytechnique, Paris. I specialized in abstract computer science, system architecture and software development. I did at research internship in the formal methods lab at SRI, Menlo Park California. I am currently in a joint master degree at EPFL, in Computer Science. Outside computer science, I’m interested in Philosophy, in which I did a licence (bachelor-degree) at Paris Nanterre University.

Country:France
Affiliation:Inria
Research interests:Formal verification, formal methods, mathematics, foundations of software

Contributions

SPLASH 2022 A Conceptual Framework for Safe Object Initialization
Show activities from other conferences

SPLASH 2022-profile
View general profile