Élève à l'École normale supérieure
Département d'informatique
email : prenom.nom@ens.fr
github : 4y8
Théorie et implémentation des langages de programmation, compilation, théorie des types, logique, théorie des catégoriesSi vous voulez travailler avec moi sur un de ces sujets, n'hésitez pas à m'envoyer un email.