Languages, Theory and other Fun Stuff
I completed my undergraduate education at the University of Saskatchewan with a B.Sc. Honours in Computer Science and a B.Sc. 4-year in Mathematics.
In September, I’ll be starting a Masters degree in Computing Science at the University of Utrecht.
My areas of interest include formal languages, theory of computation, and functional/logical programming. My main languages of development are Haskell, SWI-Prolog, Python and Elm. I’ve also completed projects in C, Java, Scheme, and Standard ML.
In addition to taking classes, I completed research for my Honours Thesis. My current research focuses around the shuffle operator on words in Formal Language Theory, and around decidability of problems surrounding reversal-bounded counter machines.
I was born and raised in Saskatoon, Saskatchewan, Canada.