Lambda the Ultimate

I spent a lot of time in industry doing strange things: working as a dot-com CTO, embedded systems programming, computer generated holography, data mining, tackling 3d visibility problems... before deciding I needed an formal education. I added a couple of masters degrees, then went back to industry.

Obsessed with lazy functional programming, substructural logics, and subset types.