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.
I am a PhD student in theoretical computer science, working in the type theory group 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 am panicked about climate change, and so should you be. I have signed the Theoretical Computer Scientists for Future (TCS4F) pledge for sustainable research in theoretical computer science. Concretely, I will strive to limit myself to at most one round-trip plane travel (and ideally none) each year. I support moving from conferences to journals as the main publication outlet in theoretical computer science to reduce mandatory conference attendance.
I believe all research in theoretical computer science and pure mathematics should be diamond open access. I have signed the No free view? No review! pledge to refuse reviewing papers for closed-access venues.
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.