My name is Stuart Gale. I like functional programming, maths, and type theory. I like reading SciFi and Fantasy books.
I'm a PhD student at Strathclyde University. Conor McBride is my supervisor.