Synthesis of certified compilers

Léo Gourdin

Call for Applications 2020, Jointly supervised thesis

Co-supervisors

Sylvain Boulmé (Verimag)
Frédéric Pétrot (TIMA)

Date of defense

December 12, 2023

Read more

View the abstract on the national thesis portal