Trained as a pure mathematicians (complex dynamics, under the supervision of Adrien Douady and John H. Hubbard), but am really a computer scientist now. Worked for 11 years at Maplesoft (makers of Maple), was head for the Math Group for some years. Now doing research in meta-programming "mechanized mathematics" (which aims to join symbolic computation and theorem proving into a single system). I tend to mostly use metocaml, Haskell and Maple for my regular programming, but I have had to program in > 25 languages professionally.
24 For which algorithms is there a large gap between the theoretical analysis and reality? aug 19 '10
23 Major unsolved problems in theoretical computer science? aug 30 '10
13 Higher-order algorithms aug 31 '10
12 Major unsolved problems in theoretical computer science? aug 30 '10
10 Formalizing the theory of finite sets in type theory sep 12 '13
9 Why naturals instead of integers? nov 20 '11