Home About Blog Research


I'm Kelton, a last-year undergraduate student at UMN interested in programming languages and formal verification. Here you can read posts I've written, learn about my research,
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!