Joey's Computing Blog

Languages, Theory and other Fun Stuff

About Me

Education

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.

Academic Interests

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.

Personal

I was born and raised in Saskatoon, Saskatchewan, Canada.

In the past, I was the president of the University of Saskatchewan Debate Society, and I’ve competed at several regional and national tournaments in CUSID.