I am from New Zealand.

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 (artificial intelligence).

Please contact me at miles@rout.nz.

- Vine, 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.
- qed, 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.
- Minimal logic, 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.
- Visp, 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.
`milesrout:sceptre`

, a fun little automatic theorem prover for minimal propositional logic written in Racket.- my
`vim`configuration—be sure to use`--recurse-submodules`to clone this.