Welcome!

I'm Kelton, a 1st-year PhD Student in computer science at Indiana University advised by Carlo Angiuli. I'm primarily interested in formal semantics/mathematical aspects of programming languages (in particular homotopy type theory), and (relatedly) usability of formal verification and advanced type systems.

I recently finished my Master's in the MPRI program. There I was working on formalizing group cohomology in homotopy type theory advised by Samuel Mimram.

Now I am working on implementing a dependently typed programming language with strictly associative and unital sigmas, and proving the correctness of Java Ranger, a novel symbolic execution engine. You can read more about my research here.

I prefer they/them pronouns.

If you want to get in contact with me, my info is on my about page

Twitching Whiskers Webline