Design and implementation of additions to Beluga, a functional programming language designed for reasoning about formal systems. Additions developed include a module system and infix operators.
Tutoring for Python, SML, and C/Perl/HTML based computer science courses
McGill University
Bachelor of Software Engineering
Dean's Honour List
Sept. 2012 - May 2016