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. When not thinking about logic and programming languages or engaging in crafty pursuits, I spend time with my cockatiel, Curry.
I also have a resume.
I made a webpage on the basics of logic programming languages to use for a presentation and reference. It can be found here.