Was a MSc student at the University of Toronto. Currently a PhD student in the CS department at University College London. I'm interested in coalgebra, universal algebra, math pedagogy, dogs, and the use of category theory to logic. I could use a good source of knights & knaves puzzles in my life.
