Hi. I’m Kevin. Welcome to my new blog. Expect to find posts here related to my interests. These include (but are not limited to) formal methods, programming languages, computer science, and programming.