Guillaume Bertholon

PhD Student in Computer Science

About me

Picture of Guillaume Bertholon

I am a PhD student in Computer Science at the University of Strasbourg, in France.

I work under the supervision of Arthur Charguéraud on the formal verification of source-to-source transformations in the OptiTrust project.

I am interested in research in programming languages, program verification, separation logic and more recently in program optimization.

I am hosted by the Inria Camus team and the ICPS team from the ICube laboratory. I also regularly visit the Inria Cambium team in Paris.

Before my PhD, I was a student in the Computer Science department of the École Normale Supérieure in Paris.


You can contact me by email at