I'm Kelton, a last-year Masters student at Université Paris Cité interested in programming languages and formal verification.
I'm primarily interested in formal semantics/mathematical aspects of programming languages (in particular categorical semantics and homotopy type theory), and (relatedly) usability of formal verification and advanced type systems. Right now I'm working on formalizing various bits of mathematics in homotopy type theory, and proving the correctness of Java Ranger, a novel symbolic execution engine. You can read more about my research here.
I am currently looking for PhD positions related to any of the above. Please reach out!
If you want to get in contact with me, my info is on my about page
