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.
1
answer
1
question
~1k
people reached
-
Waterloo, Canada
-
Member for 8 years, 11 months
-
17 profile views
-
Last seen Apr 21 '20 at 20:56
Communities (13)
Top network posts
Badges (11)
Gold
—
Silver
4
Rarest
-
Jan 8 '15
-
Jul 9 '17
Bronze
7
Rarest
-
Jul 25 '13
-
Feb 17 '12
-
Feb 14 '12