Dave Clarke
20,205
reputation
4
68
113
Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.