Home About Blog Research

Welcome!

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

Made with Neovim! internet privacy now! This Website is Gay! car seat headrest <3 Creative Commons License Say no to web3!
Xenia fox :3 Miku 4 President! Built With Cabal!