Area 51 » Jacques Carette

414
reputation
12 views
discussion user
network profile

Registered User

name Jacques Carette
member for 4 years
seen yesterday
website
location Waterloo, Ontario, Canada
age 47
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.
0

Proposals


1

Current Commitment

168
committed

Programming Language Theory

For people who wish to influence and foster interest, in the development of new programming languages. For programming language theory enthusiasts and computer science students who wish to learn more about the subject or have their doubts elucidated.
define
commit
beta

0

Fulfilled Commitments


0

Followed


11

Votes Cast

10 up

1 down