# Miles Rout

## Bio

I am from Christchurch, New Zealand. At the moment, I am studying law at the University of Canterbury in Christchurch, New Zealand.

## Qualifications

BSc(Hons) in Mathematics with First Class Honours

BSc in Mathematics and Computer Science

## Work Experience

I have two and a half years of work experience as a software developer at two 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).

## Links

## Projects

- Vine, which is my current long-term project. Vine is a C library that is intended to eventually become the basis for 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.

## Contact Me

Please contact me at miles@rout.nz.