Skip to main content
New
Stack Overflow Jobs powered by Indeed: A job site that puts thousands of tech jobs at your fingertips (U.S. only). Search jobs
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette
  • Member for 13 years, 9 months
  • Last seen more than a month ago
Stats
1,540
reputation
119k
reached
16
answers
6
questions
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.
13
silver badges
23
bronze badges
35
Score
3
Posts
14
Posts %
26
Score
5
Posts
23
Posts %
26
Score
3
Posts
14
Posts %
24
Score
3
Posts
14
Posts %
19
Score
3
Posts
14
Posts %
19
Score
2
Posts
9
Posts %
Top posts
View all questions and answers