Gaspard Charvy

Gaspard Charvy

M1 research project(2024 - now)

Team SEAMLESS (previously HYBRID), Rennes INRIA Center.

Details

Physical efforts simulation in Virtual Reality with haptic feedback.

Project directed by Justine Saint-Aubert and Julien Manson

Internship report

First year of computer science master's degree(2024 - now)

ENS Rennes

Details

Followed courses :

Advanced operating systems - Isabelle Puaut
Complexity theory - Thomas Seiller
Programming semantics (Coq course) - Sandrine Blazy
High Performance Computing - Martin Quinson
Digital sobriety - Simon Castellan
General Compilers Concepts - Simon Rokicki
Information Theory - Eric Fabre
Model Checking - Sophie Pinchinat
Machine Learning - Ewa Kijak and Romaric Gaudel
Philosophy - Olivier Ridoux and Filipe Drapeau Vieira Contim

L3 internship (June - July 2024)

TEAM CARAMBA, Loria in Nancy.

Details

Study of the coefficients of the polynomials produced by the number field sieve.

Internship directed by Emmanuel Thomé.

Internship report

Computer science Bachelor's degree(2023 - 2024)

ENS Rennes

Details

Followed courses :

Algorithmics - François Schwarzentruber
Programming languages concepts - David Baelde
Formal languages and calculability - Gilles Lesventes
Architecture and Systems (C and networks) - Martin Quinson and Guillaume Didier
Optimization and Algebra - Baptiste Huguet and Félix Ulmer
Logic - David Baelde
Architecture and Systems 2 (RISC-V) - Steven Derrien
Statistics - François Schwarzentruber
C++ programming - Martin Quinson
Cryptography - Adeline Roux-Langlois

CPGE MP2I/MPI(2021 - 2023)

Lycée Victor Hugo Besançon

Details

Intensive 2-year preparatory course in Mathematics, Physics and Computer science