Bienvenu sur ma page personnelle ! Je suis actuellement étudiant en troisième année à l'ENS de Rennes, en préparation à l’agrégation d’informatique.
Mon CV est disponnible
ici.
Je m’intéresse personnellement aux méthodes formelles, principallement dans le cadre de la preuves de protocoles.
Projets personnels (Détails)
J’ai égalements des projets peronnels, comme le test de vitesse d’écriture
olagem, et le jeu
HexaTTD.
