Jump to content

User:Flashmob

From Wikipedia, the free encyclopedia

Introduction

[edit]

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

[edit]

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

[edit]
  • Robotics
  • Ice/Inline Hockey

Notes

[edit]

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