I'm a master's student in the MPRI master's program in Paris. As of Fall 2025 I will be a PhD student at Indiana University, advised by Carlo Anguili, working on type theory and other such things. I just (as of spring 2024) finished undergrad with degrees in Computer Science, Linguistics, Philosophy, and Mathematics at the University of Minnesota. Ask me about Monads, Monads, Monads, or Monads (:P)!
I also do research!
I have 2 main research interests: mathematical aspects of programming languages (primarily concepts around homotopy type theory),
and (relatedly), usability of formal verification and advanced type systems (dependent types).
Currently I'm working on a project that I started with Favonia, now adivsed by Samuel Mimram, on formalizing mathematics (in particular, parts of homological algebra) with homotopy type theory.
In the recent past, I have worked with the MELT group on parsing and attribute grammars, and with Microsoft research on TLA+.
For further details on all of that and more, check out my research page.
Before graduating I was involved with the unviersity of minnesota's ACM student chapter where I was an officer for 4 years and President for 2.
In my free time I enjoy listening to (mostly {,{post,ska}-}punk) music (Bandcamp), watching {bad, artsy} movies, learning new languages (ich spreche Deutsch auf Niveau B1, jag talar svenska på A1-A2-nivå, et je suis en train d'apprendre le français pour mes études), cycling, playing guitar, playing table tennis (penhold), and using parentheses (or deeply nesting clauses more generally).
If you'd like, you can read my CV here
If you want to get in contact with me, you can reach me at my email <firstname>@keltono.net
Signal available by request.
Yes, really. I started going to college in highschool through Minnesota's PSEO program, so I had a couple extra years under my belt. When faced with the choice of graduating early with just a computer science degree or going wide, I decided to do the latter. All of the things i'm getting degrees in are really cool (although I would say that, wouldn't I?) and I figured that it would be a lot harder to come back to school to get a different undergraduate degree later, so might as well get do everything possible when I can! [1]
[1] Although It would have been nice to have time to formally study electrical engineering, and more languages ... [back to location]