From Wikipedia, the free encyclopedia

Contents 1 Introduction 1.1 Wiki Interests 1.2 Other Interests 1.3 Notes

[edit] 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

[edit] 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

[edit] Other Interests

• Robotics
• Ice/Inline Hockey

[edit] Notes

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