285 reputation
17
bio website cas.mcmaster.ca/~carette
location Waterloo, Canada
age 46
visits member for 3 years, 8 months
seen Apr 13 at 12:58
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 6,229 rep 21746
Stack Overflow 1,349 rep 818
Theoretical Computer Science 721 rep 415
Area 51 409 rep 8
Mathematics 285 rep 17

61 Votes Cast

all time   by type  
61 up 10 question
0 down 51 answer