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
