1 About my work
My particular areas of interest in programming are:
- Functional programming
- Formal modelling / model based programming
- Concurrency / cloud programming
- Embedded systems
I am also establishing a small business developing control systems and software for robots. The key idea is to make the robot part of the cloud rather than a stand-alone device. Further information:
1.2 Current projects
- I have developed a simple implementation of MapReduce using a modified form of monad. It's described here. I would be very happy if others joined in the development effort.
- I'm defining and then coding a language (Catskell) in the spirit of LOLCODE which is basically a feline-friendly subset of Haskell. My intention is to write a Catskell-to-Haskell translator. This should be a good exercise in making sure I really understand the language.
2 About me
By training I am a mathematician. I have been programming computers of some form or other since the early 1980s. I also have a keen interest in philosophy and music. My personal website is here.