Gaspard
Charvy
Accueil
CV
Contact
Parcours
Projet de recherche M1
(2024 - en cours)
Équipe
SEAMLESS
(anciennement
HYBRID
),
centre INRIA de Rennes
.
Détails
Simulations d’efforts physiques en Réalité Virtuelle avec retours haptiques.
Projet encadré par
Justine Saint-Aubert
et Julien Manson
Rapport de stage (en anglais)
M1 Sciences de l'informatique
(2024 - en cours)
ENS Rennes
Détails
Cours suivis :
Systèmes d'exploitation avancés -
Isabelle Puaut
Théorie de la complexité -
Thomas Seiller
Sémantique (cours de
Coq
)-
Sandrine Blazy
Programmation parallèle -
Martin Quinson
Sobriété numérique -
Simon Castellan
Compilation -
Simon Rokicki
Théorie de l'information -
Eric Fabre
Modélisation et Vérification Formelle par Automates -
Sophie Pinchinat
Machine Learning -
Ewa Kijak
et
Romaric Gaudel
Philosophie des sciences -
Olivier Ridoux
et
Filipe Drapeau Vieira Contim
Stage de L3
(Juin - Juillet 2024)
Équipe
CARAMBA
, au
Loria
à Nancy.
Détails
Étude des coefficients des polynômes produits pour le crible algébrique.
Stage encadré par
Emmanuel Thomé.
Rapport de stage (en anglais)
L3 Sciences de l'informatique
(2023 - 2024)
ENS Rennes
Détails
Cours suivis :
Algorithmique -
François Schwarzentruber
Concepts des langages de programmation -
David Baelde
Langages Formels et Calculabilité - Gilles Lesventes
Architecture et Systèmes (C et réseaux) -
Martin Quinson
et Guillaume Didier
Optimisation et Algèbre -
Baptiste Huguet
et
Félix Ulmer
Logique -
David Baelde
Architecture et Systèmes 2 (RISC-V) -
Steven Derrien
Statistiques -
François Schwarzentruber
Programmation C++ -
Martin Quinson
Cryptographie -
Adeline Roux-Langlois
CPGE MP2I/MPI
(2021 - 2023)
Lycée Victor Hugo Besançon
Détails
Classe Préparatoire aux Grandes Écoles Mathématiques, Physique, Informatique et Sciences de l'ingénieur, dont le programme peut être vu
ici.