DUONG Antoine

Mes travaux de recherches portent sur le domaine de la logique mathématique et s'intéressent plus particulièrement à l'étude des lambda-calculs. L'intitulé de ma thèse de doctorat est le suivant : "Investigations métamathématiques des lambda-calculs typés pédagogiques".
En d'autres termes, j'étudie des programmes sous la forme de fonctionnelles (à l'instar du paradigme de programmation fonctionnelle) pouvant être observés dans des systèmes de raisonnement logique à travers l'isomorphisme de Curry-Howard.
De cette manière, je peux produire des systèmes formels fonctionnels où le système de raisonnement associé permet de modéliser la manière dont un étudiant apprend les mathématiques.