Introduction

I'm a student studying computer science/biochemistry/economics and sometimes topology whenever and whereever I can find the time. In my spare time I actually hope to finish my MSc, delayed far to many times.

I live in New Zealand, and shuttle around usually between ChristChurch and Palmerston North

Wiki Interests

My interests in wiki involve the following areas,

Formal Methods in Computational Theory
- Type Theory
- Rewrite Systems
- Axiomatic proof systems
- Complexity Theory
- etc..
Logic
Functional Language design/use
Procedural/OO design idioms
Topology (hope to make a contribution soon)
Computational Biology

Other Interests

Robotics
Ice/Inline Hockey

Notes

Due to failure to login sometimes you may also catch me under the IP 130.123.128.114