I'm Kelton, a last-year Masters student at Université Paris Cité interested in programming languages and formal verification.
In August I will be starting my PhD 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.
Right now I'm working on formalizing group cohomology in homotopy type theory advised by Samuel Mimram, and proving the correctness of Java Ranger, a novel symbolic execution engine. You can read more about my research here.
If you want to get in contact with me, my info is on my about page
