Edward Kmett

Personal information


USA

male

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.

History


10 years 22 weeks