Guillaume Bertholon

PhD in Computer Science

About me

Picture of Guillaume Bertholon

In September 2025, I successfully defended my PhD in Computer Science at the University of Strasbourg, in France.

You can find my manuscript here.

I worked 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 and development around programming languages, program verification, separation logic and more recently program optimization.

During my PhD, I was 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.

Contact

You can contact me by email at firstname.lastname@normalesup.org