Hi! I'm Chelsea Corvus
(Formerly Chelsea Battell)
lady.corvus on Instagram Chelsea Battell on Linkedin seachel on GitHub

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.