Bonjour, je suis actuellement en 1ère année au département d'informatique de l'ENS Rennes. Avant ça j'ai été en Classe préparatoire MPI (Mathématique, Physique, Informatique). Je suis principalement intéressé par la théorie ! En particulier par les langages formels, la logique et le lambda calcul !