475 reputation
2 8

Jacques Carette

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.

Top Tags (35)

Score 9
Posts 9
Posts % 45
Score 6
Posts 1
Score 6
Posts 1
Score 4
Posts 3
Score 4
Posts 1
Score 4
Posts 1

Top Posts (20) All Questions Answers | Votes Newest

View all questions and answers

Badges (10)

Gold
Silver 2

Rarest

Bronze 8

Rarest