Academic at Charles University in Prague. Interested in new ways of thinking about programming and history & philosophy of computing. Did a lot of things around F#.