Difference between revisions of "Guillaume Bertholon"
Jump to navigation
Jump to search
(Created page with "Current position --- PhD student at ICube working with Arthur Charguéraud on formal verification of source-to-source transformations Studies ---- * 2017-2022: Student in É...") |
|||
Line 1: | Line 1: | ||
− | Current position | + | === Current position |
− | + | ||
PhD student at ICube working with Arthur Charguéraud on formal verification of source-to-source transformations | PhD student at ICube working with Arthur Charguéraud on formal verification of source-to-source transformations | ||
− | Studies | + | === Studies |
− | + | ||
* 2017-2022: Student in École Normale Supérieure de Paris, computer science department. | * 2017-2022: Student in École Normale Supérieure de Paris, computer science department. | ||
* 2019-2020: Parisian Master of Research in Computer Science (MPRI) | * 2019-2020: Parisian Master of Research in Computer Science (MPRI) | ||
− | Papers | + | === Papers |
− | + | ||
* ITP'19: Primitive Floats in Coq [https://drops.dagstuhl.de/opus/volltexte/2019/11062/] | * ITP'19: Primitive Floats in Coq [https://drops.dagstuhl.de/opus/volltexte/2019/11062/] | ||
* VMIL'19: Towards Seamless Interfacing between Dynamic Languages and Native Code [https://kar.kent.ac.uk/76576/] | * VMIL'19: Towards Seamless Interfacing between Dynamic Languages and Native Code [https://kar.kent.ac.uk/76576/] |
Revision as of 17:17, 7 October 2022
=== 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