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. 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.