896 reputation
617
bio website cas.mcmaster.ca/~carette
location Waterloo, Canada
age 47
visits member for 5 years
seen Aug 18 at 17:02
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.

MathOverflow 7,058 rep 22356
Stack Overflow 1,503 rep 922
Theoretical Computer Science 896 rep 617
Area 51 414 rep 9
Mathematics 345 rep 18

268 Votes Cast

all time   by type   month  
266 up 93 question 7
2 down 175 answer