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.
10 n-ary version of gcd$(a,b)\space $lcm$(a,b)$ = $ab$ aug 5 '10
7 Fields that require both CS and pure math aug 8 '10
6 How to combine complex powers? aug 21 '10
2 Composing permutations in factorial notation apr 3 '14
2 Reading the coefficients with Maple dec 11
1 Seeking 'simple' space with specified homotopy oct 1 '13
1 Is there an analytic solution for the density function of this complex random variable? aug 21 '10