Hi! I'm Chelsea Corvus
(Formerly Chelsea Battell)
I like logic and crafts.
I spend my free time coding, sewing, hanging out with my family, and thinking about how I can have a positive impact on the environment. Right now this last task has me reading a lot about conscious consumption of clothing and second-hand economies.
I have a master's degree in mathematics and worked on a PhD in computer science through the completion of coursework and comprehensive exams at the University of Ottawa in Ottawa, Canada. My research was 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). My work was funded by Canada Graduate Scholarships (CGS-M and CGS D), and Ontario Graduate Scholarships.
I also sew, knit, crochet, and cross-stitch. My Instagram shows some of the things I've made.
Projects:
-
Treehehe: I made this tool for a project in a course on Information Visualization. It uses D3 and MathJax for visualization and walk-through of proof trees with mathematical notation in the nodes.
-
Knitting Math Formalized: A linear logic representation of knitting patterns and their proofs.
-
Knitting pattern designer: I've worked on a few projects making tools related to defining knitting patterns and checking their correctness.
The first was a compiler for a domain specific language for defining modular knitting patterns. This was a project for a compilers course during my undergrad.
I worked on a new version in the early days of my PhD while attempting to learn a bit more about JavaScript.
-
Application: Purl v. 2
-
Languages and tools used: JavaScript, HTML, CSS, LaTeX
-
Programming with Higher-Order Logic: As a complement to a seminar I presented, I made a webpage on the basics of logic programming languages to use for the presentation and later reference.
-
Presentation
-
Languages and tools used: JavaScript, HTML, CSS, Prolog, Lambda-Prolog, LaTeX
-
Master's research: see here for the work done during my master's, including reports and presentations.
-
Languages and tools used: Coq, LaTeX