A propos de moi :

Bienvenue sur mon site personnel ! Je m'appelle Raphael Leonardi, je suis un étudiant en LDD3 Magistère Informatique à l'Université Paris-Saclay, intéressé par le Machine Learning et la Cryptographie. Vous pourrez trouver ici quelques liens vous permettant de mieux comprendre mon parcours dans l'informatique :

Mon CV

Mon Github

Mon Linkedin

Parcours :

Décembre 2018 : Stage de 3ème au LRI
J'ai effectué mon stage de 3ème sous la tutelle du chercheur Jean Christophe Filliatre au sein du Laboratoire de Recherche en Informatique (aujourd'hui LISN), j'ai pu apprendre les bases de l'informatique notamment le langage Python. Déja engagé dans une optique d'étudier l'informatique, ce stage a pu confirmer mes attentes.
2020-2022 : Lycée
J'ai effectué mon parcours de lycéen au Lycée Jules Verne à Limours, en prennant en terminale les spécialités de Mathématiques, Numérique et Science de l'Informatique et Mathématiques Expertes.
2022-2024 : Licence Double Dipôme Mathématiques Informatique
Pendant deux ans, j'ai étudié et découvert les combinaisons entre deux disciplines : les Mathématiques et l'Informatique, au sein de l'Université Paris-Saclay, dans la ville de Bures-sur-Yvette.
2024-actuellement : LDD3 Magistère Informatique
Après deux ans de Mathématiques et d'Informatique, j'ai décidé de me spécialiser dans l'Informatique en rejoignant le Magistère d'Informatique, qui faisait partie des parcours que je pouvais prendre en 3ème année.
Janvier-Avril 2025 : Travail Encadré de Recherche
J'effectue actuellement un stage de TER (Travail Encadré de Recherche). Je l'effectue à l'INRIA au sein de l'équipe GRACE, sous le tutorat du post doctorant Christophe Levrat Mon travail consiste à étudier et implémenter des protocoles de preuve 0-knowledge, pour des procédés cryptographiques.

Compétences :

Langue Maternelle

Niveau C1 Linguaskill Certification

Niveau A2

Au fil de mes années d'expérience en informatique et en mathématiques, j'ai eu l'occasion de maîtriser une variété de langages de programmation et d'outils de développement. Vous trouverez ci-dessous des tableaux listant mes compétences.