A list of posters I have presented.
Bootstrapping a verified compiler for an imperative language in Rocq
Silver medal at POPL'26 SRC
Kacper F. Korban, Magnus O Myreen, Clément Pit-Claudel
https://systemf.epfl.ch/posters/2025-bootstrapping/
POPL'26 SRC