How I appear in real life
How I appear online (Forest inside with bird, 1912 painting by Franz Marc)
Welcome to my professional home page. (Non-professional parts of this website will be moved elsewhere soon.)
I am a PhD student in theoretical computer science at Eötvös Loránd University in Budapest (Hungary), supervised by Ambrus Kaposi.
I am interested in type theory, constructive mathematics, realizability, and adjacent topics. I am supported by the HOTT ERC grant to work on designing the syntax of higher observational type theory and devising semantics for it. In a previous research experience, I worked on holonomic sequences.
How I appear in real life
How I appear online (Forest inside with bird, 1912 painting by Franz Marc)
Email: take the address of this page, remove https:// and replace the first dot with an @ sign. In other words: my-first-name@my-last-name.fr with a dash between the two words of my last name.
You can find me chatting about theoretical computer science and mathematics on the Fediverse at @jeanas@mathstodon.xyz.
You may download my PGP public key or my SSH public key.
I studied at ENS Paris-Saclay, where I obtained a dual bachelor's degree in mathematics and theoretical computer science in 2022, then the Parisian Master of Research in Computer Science in 2024. I spent the year 2024-2025 as a research intern with Joël Ouaknine.