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 firstname.lastname@example.org.
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.