• 2009 -2010 : École normale supérieure de la rue d'Ulm, Master Parisien de Recherche en Informatique

    • Stage de 6 mois en complexité

    • Logique linéaire et paradigmes logiques du calcul Linear logic

    • Complexité avancée

    • Initiation à la vérification

    • Démonstration automatique

    • Fondements des systemes de preuves

    • Assistants de preuves

    • Géométrie, algorithmes et combinatoire

    • Analyse d'algorithmes

  • 2008 -2009 : École normale supérieure de la rue d'Ulm, étudiant admis à préparer le diplôme, première année au département d'informatique

    • Algorithmique et programmation

    • Langage de programmation et compilation

    • Logique

    • Langage formels, calculabilité et complexité

    • Structure et algorithme aléatoire

    • Système et réseau

    • Logique et informatique

    • Sémantique des langage de programmations

    • Base de donnée

    • Calcul scientifique par la pratique

  • Hiver et été 2008: Échange à l'Université de Montréal(udm) avec son département d'informatique et de recherche opérationnelle(diro), où j'ai suivi les cours suivant:

    • MAT1410 Calcul 2

    • MAT1720 Probabilité

    • MAT2100 Analyse 3

    • MAT2717 Processus stochastique

    • IFT1575  Modèle de recherche opérationnelle

    • IFT2015 Structure de donnée

    • IFT2035 Concepts des langages de programmations

    • IFT2105 Introduction à l'informatique théorique

    • IFT2255 Génie logiciel

    • IFT2905 Interface personne-machine

    • IFT3150 Projet d'informatique: visualisation de la musique.

  • Automne 2008: Deuxième année de la licence de mathématique :

    • LM220 Arithmétique

    • LM260 Séries et intégrales (étude approfondie)

    • LI205 Initiation à la programmation impérative en C

    • LI230 Éléments de programmation par objets avec Java


    Je fus dispensé de contrôle continue et n'est jamais été aux cours LI205 et LI230, à la place j'ai suivi ces trois cours de troisième année.

    • LI313 Modèles de programmation séquentielle en Objective Caml

    • LI314 Programmation par objets

    • LI317 Algorithmique générale

  • 2007-2008: Première année à l'Université Pierre et Marie Curie(upmc)/Paris VI, parcours Mathématique, Informatique Mécanique, Electronique(MIME), sans mécanique ni électronique.

  • 2007: Baccalauréat scientifique, spécialité mathématique, option grec, mention assez bien, après une scolarité à l'institut de la tour.