1,480
reputation
13
23

Jacques Carette
Loading…

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.
16
answers
6
questions
~111k
people reached

Top tags (37)

Score 33
Posts 3
Posts % 14
Score 25
Posts 3
Score 24
Posts 5
Score 23
Posts 3
Score 18
Posts 3
Score 18
Posts 2

Top posts (22)

View all questions and answers

Badges (36)

Gold

Silver

13

Rarest

Bronze

23

Rarest