Welcome to my home page. I'm a software developer, currently doing some independent videogame development, as well as working on a new programming language. More info about me.
A new verification-aware programming language (currently work-in-progress).
Knights is a multiplayer game involving several knights who must run around a dungeon and solve various quests.
This demo uses the "shallow water equations" to simulate the motion of water across a 3-D landscape.
My PhD research work from 2002–2006.
I can be contacted by email, my address is: stephen (at) solarflare.org.uk.