Hi! I'm Chelsea 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.

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.