Hi! I'm Chelsea Corvus (nee Battell)

I like logic and crafts.

I have a master's degree in mathematics and I'm currently working on a PhD in computer science. My research is in the areas of proof theory (studying formal arguments) and formal methods for software engineering (making sure software does what it's supposed to do).

I also sew, knit, and crochet. I've worked on a few projects making tools related to defining knitting patterns and checking their correctness. See here for the project completed for a compilers course during my undergrad, and here for a new version I worked on in the early days of my PhD. These projects are unfortunately poorly documented. I hope to fix this soon.

Other places on the internet with information about me and my work include LinkedIn, ResearchGate, and GitHub.

I made a webpage on the basics of logic programming languages to use for a presentation and reference. It can be found here.