I am Miles Rout, a postgraduate student studying towards a PhD in Pure Mathematics at the University of Canterbury in New Zealand.

BSc(Hons) in Mathematics with First Class Honours

BSc in Mathematics and Computer Science

I have two years work experience as a software developer at
Telogis NZ Ltd.

I have tutored many mathematics and computer science courses at the
University of Canterbury, including MATH102/MATH103 first year calculus
and linear algebra, MATH230 logic and computability, MATH220 graph theory
and cryptography, MATH120 discrete mathematics, COSC121 introductory
programming and COSC367 artificial intelligence.

You can contact me at miles.rout@gmail.com.

`milesrout`

on GitHub- qed, where you will find my work-in-progress proof assistant and programming language for constructive Morse set theory written in Haskell.
- 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.
- Visp, a simple Lisp written in Python, with macros, using substitution to evaluate (not metacircular, but does use the Python stack).
`milesrout:sceptre`

, a fun little automatic theorem prover for minimal propositional logic written in Racket.`milesrout:~/.vim`

—be sure to use`--recurse-submodules`to clone this.