user avatar
user avatar
user avatar
Jacques Carette
  • Member for 11 years, 10 months
  • Last seen more than 5 years ago
Stats
1,490
reputation
356
reached
0
answers
1
question
Loading…
About
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.
This user doesn’t have any gold badges yet.
7
silver badges
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %