Je suis actuellement en M2 d'informatique à Sorbonne Université, en parcours Sciences et Techniques du Logiciel (STL), après avoir effectué une double licence Informatique et Philosophie (à Sorbonne Université également).
Je m'intéresse principalement aux langages fonctionnels, à la concurrence, aux théories des types, et aux méthodes formelles.
Je suis également très intéréssé par la pluridisciplinarité entre sciences et humanités, et plus précisément la philosophie de la technique, la philosophie des sciences et la philosophie du langage.