Difference between revisions of "Guillaume Bertholon"
Jump to navigation
Jump to search
| 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/] | ||
Latest revision as of 17:18, 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)