Your Name
Master's Student · Theoretical Computer Science
J'étudie les fondements mathématiques du calcul — logique, théorie des types et les limites de ce que les machines peuvent ou non accomplir. J'écris sur la recherche, les mathématiques et tout ce qui m'occupe l'esprit.
Un mot pour chaque lecteur
01 Si vous êtes enseignant·e ou directeur·rice de recherche
Je cherche activement des opportunités de recherche en master en informatique théorique — logique, théorie des types et fondements du calcul. J'ai écrit sur mon parcours, mes motivations et le type de travail que j'espère mener.
Lire la lettre →02 Si vous êtes chercheur·se et souhaitez collaborer
Je suis plusieurs problèmes ouverts à l'intersection de la théorie de la preuve, de la théorie des types et de la complexité. Si vous travaillez sur un sujet adjacent et cherchez un collaborateur motivé, je serais ravi d'échanger.
Sur la collaboration →03 Si vous êtes étudiant·e ou pair
Nous pensons probablement aux mêmes choses. J'écris sur les problèmes qui me résistent, les articles qui me frappent par leur beauté, et le lent apprentissage de la recherche.
Sur quoi je travaille →04 Si vous cherchez de l'aide
J'aide occasionnellement en logique, rédaction de preuves, théorie des types et mathématiques. Si vous êtes bloqué·e et pensez que je pourrais avoir une réponse, n'hésitez pas à me contacter.
Comment je peux aider →05 Si vous êtes simplement curieux·se
Commencez par n'importe où. Le blog est là où je pense à voix haute. Les essais sont plus lents et plus réfléchis. La vie, c'est ce qui se passe en dehors de l'assistant de preuve.
Par où commencer →