Guillaume Bertholon
Jump to navigation
Jump to search
=== 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