I like logic and crafts. I have a master's degree in mathematics. 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.
Other places on the internet with information about me and my work include LinkedIn, ResearchGate, and GitHub. I've started posting on Medium. I plan on talking about my experiences learning and building things.
I also have a resume.
NaN !== NaN oh no... == and === are not equivalence relations? are we all in danger?!
Well anyway, below are some personal projects I've been working on.
To get some practice using web languages I made a page with this game called Othello (sometimes called Reversi) that I liked to play as a child.