I'm a theoretical computer scientist with a varied educational and careeer history spanning mathematics, game design and development, and post-secondary teaching. My present research interests centre on formalization of mathematical proof using interactive theory proving programming languages, functional programming and related branches of computational theory. On-going work includes the formalization of the Leftover Hash lemma (https://en.wikipedia.org/wiki/Leftover_hash_lemma), which has direct application to the proof of security of cryptographic protocols. This research has been very valuable to the courses I teach, especially our programming courses that focus on functional programming paradigms within modern programming languages and environments.
My teaching philosophy has individual student needs at its centre; I endeavour to meet each student at their level and build course expectation around their needs and personal goals. I strive to be inclusive in my classroom and to recognize the many varied modes of learning that our diverse student population requires. Most of all, I hope to continue to challenge my students - and myself! - with each new class.
In my current role as chair of the department of DIGITAL Design + Development much of my time is devoted to supporting our department faculty and students more broadly than just in my own courses. I work as a champion for all programs under the DIGITAL banner, including all DIGITAL (DGL) programs, the Computer Information Systems (CIS) program and all Computer Science (CPS) courses in general.
Prior to my employment at NIC I worked as a faculty member at the University of Victoria and Vancouer Island University. Prior to teaching I worked as a game designer and developer in the Vancouver and Victoria game development industries, and I was part of the development some notable games, including Dying Light, Destiny and [PROTOTYPE 2], and many not notable games that you've never heard of. :)
