User:Flashmob

=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