Area 51 » Jacques Carette

414
reputation
26 views
discussion user
network profile

Registered User

name Jacques Carette
member for 11 years
seen Dec 1 '21 at 21:07
website
location Waterloo, Ontario, Canada
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

355
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Fulfilled Commitments


1

Followed

355
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

16

Votes Cast

15 up

1 down