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 logic and homotopy type theory), and (relatedly), usability of formal verification and advanced type systems. Right now I'm working on formalizing Lie theory in homotopy type theory, and proving the correctness of Java Ranger, a novel symbolic execution engine. You can read more about my research here.
Here you can also read posts I've written, or checkout other some info about me
If you want to get in contact with me, my info is on my about page
