Jacques Caretteless info
|visits||member for||1 year, 3 months|
|seen||Sep 21 '12 at 19:49|
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.
|bio||website||cas.mcmaster.ca/~carette||visits||member for||1 year, 3 months|
|location||Waterloo, Canada||seen||Sep 21 '12 at 19:49|
7 Votes Cast
|all time||by type|