Guillaume Bertholon

Current position

PhD student at ICube working with Arthur Charguéraud on formal verification of source-to-source transformations

Studies

• 2017-2022: Student in École Normale Supérieure de Paris, computer science department.
• 2019-2020: Parisian Master of Research in Computer Science (MPRI)

Papers

• ITP'19: Primitive Floats in Coq [1]
• VMIL'19: Towards Seamless Interfacing between Dynamic Languages and Native Code [2]