BSc(Hons) in Mathematics with First Class Honours
BSc in Mathematics and Computer Science
I have two and a half years of work experience as a software developer
at New Zealand software development companies.
I have tutored many mathematics and computer science courses at the
University of Canterbury in Christchurch, New Zealand, including
MATH102/MATH103 (first year calculus and linear algebra), MATH120
(discrete mathematics), MATH220 (graph theory and cryptography), MATH230
(logic, automata and computability), COSC121
(introductory programming) and COSC367
which is my current long-term project. Vine is a C library that will
eventually be built into a text editor and development environment
à la Emacs.
where you will find my work-in-progress proof assistant and
programming language for constructive Morse set theory written
in Haskell. It is currently on hold.
where you will find a proof checker for minimal propositional logic
written in Haskell for my Honours project, using advanced Haskell
type system techniques to prevent the representation of structurally
invalid proofs, and a minimal propositional Kripke model checker also
written in Haskell. It is no longer under development.
a simple Lisp written in Python, with macros, using substitution to
evaluate (not metacircular, but does use the Python stack). As an
experiment, Visp is complete.
a fun little automatic theorem prover for minimal propositional logic
written in Racket.