Quentin Aristote

Quentin Aristote

Élève Fonctionnaire Stagiaire – Mastérien en Informatique

École Normale Supérieure

Sur moi

J’étudie au Département d’Informatique (DI) de l’École Normale Supérieure de Paris, un établissement membre de l’Université PSL.

Je m’intéresse principalement à la théorie des catégories et à la programmation fonctionnelle, bien que j’apprécie particulièrement approfondir mes connaissances dans d’autres domaines divers.

Cette année j’effectuerai mon M2 en informatique théorique au MPRI.

Expérience

 
 
 
 
 
Stage de recherche en Théorie des Catégories Appliquée
févr. 2020 – juil. 2020 Tōkyō, Japon
Étude de points fixes imbriqués dans un cadre fibrationel et de notions de (bi)simulations pour les automates de Büchi sous la supervision d’Ichiro Hasuo et de Jérémy Dubut. Rapport de stage (en anglais).
 
 
 
 
 
Stage de recherche en Calcul Naturel
juin 2018 – juil. 2018 Luminy, France
Étude de triangulations dynamiques engendrées par des marches quantiques sous la supervision de Giuseppe di Molfetta. Rapport de stage.

Éducation

 
 
 
 
 
Master en Informatique avec mineure en Mathématiques
2019 – Actuellement Paris, France
M1 obtenu avec mention très bien. J’ai pris une année de césure pour suivre des cours de mathématiques de niveau M1.
 
 
 
 
 
Double licence en Informatique et Mathématiques
2018 – 2019 Paris, France
Diplôme obtenu avec mention très bien en informatique et mention bien en mathématiques.
 
 
 
 
 
Classe Préparatoire aux Grandes Écoles
2016 – 2018 Paris, France
MPSI – MP* (Mathématiques & Physique).

Autres accomplisse­ments

Admis à l’École Polytechnique
Voir certificat

Langues

🇫🇷
Français

C2

🇬🇧
Anglais

C1–C2

🇯🇵
Japonais

B1

Contact

courriels

clés publiques

adresse

  • École Normale Supérieure
    45 rue d’Ulm
    75230 CEDEX 05 Paris