Contact Information
Email: gabriel[at]desfrene.fr | gabriel.desfrene[at]ens.psl.eu
About Me
I am currently pursuing a master's degree in computer science at the École Normale Supérieure in Paris (MPRI). I am interested in formal methods, programming languages, computer architecture, and system design. I have experience in RISC-V processor architecture, formal verification tools, and the development of compilers and operating systems.
Work & Projects
Education
École Normale Supérieure Paris (September 2023 - Present)
ENS Graduate Degree in Computer Science
- 2025: M2 Computer Science (MPRI)
- 2024: M1 Computer Science (ENS)
- 2023: Bachelor's degree in Computer Science
Paris-Saclay University (September 2021 - July 2023)
Double Degree Mathematics - Computer Science | Orsay, France