I'm a master's student in the MPRI master's program in paris studying programming languages and formal verification. I just (as of spring 2024) finished undergrad with majors 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: formal semantics/mathematical aspects of programming languages (in particular categorical logic and 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 on formalizing mathematics 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+. I have few other research interests, mostly in the semantics/formal methods/type theory space, but most recently I've been getting into algebraic topology, especially in the context of homotopy type theory. 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 kelton@keltono.net.

Signal available by request.

Addendum: 4 degrees? really?

Yes, really. I started going to college in highschool through Minnesota's PSEO program, so I have a couple extra years under my belt. When faced with the choice of graduating early with just a computer science degree or going wide and getting more degrees, 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 figure that it would be a lot harder to come back to school to get a different undergraduate degree later than now, so might as well get all of the ones I want now![1]

[1] Although It would have been nice to have time to formally study electrical engineering, and more languages ... [back to location]