Research Interests
You can read a longer description but roughly
my interests are in:
Active member of the
MathScheme project
at McMaster University. Associate member
of the Ontario Research Center for Computer Algebra.
Collaborator of the
ALGO group at INRIA, and
CECM at Simon Fraser University.
I also really enjoy working (or simply exchaning fascinating emails) with
Volker Sorge,
Freek Wiedijk,
Oleg Kiselyov, and
Chung-chieh Shan.
Co-chair of
Calculemus 2009,
Programming Languages and Mechanized Mathematics Systems Workshop 2008,
Programming Languages and Mechanized Mathematics Systems Workshop 2007, and
Calculemus 2005
Program committee of
MICA 2008 (in honour of Keith Geddes' 60th birthday),
GPCE 2008,
MSFP 2008,
Calculemus 2008,
AISC 2008,
GPCE 2007,
Calculemus 2007, and
Calculemus 2006.
Current Students
- David Miller - Computer Science MSc (Sept 2006-present)
[working on a full Maple compiler]
- Gordon Uszkay - Computer Science Phd (May 2006-present) [Species as a fundamental data structure]
- Mustafa Elshiek (Sept 2008-present; joint with Spencer Smith) [mesh generator generator]
Former Students
- Ni Hong - Computer Science MSc (Sept 2007-Aug 2009) [Chiron: Mechanizing Mathematics in OCaml]
- Mike Zhang- Computer Science MSc (Sept 2007-Aug 2009) [A language and library of algebraic theory-types ]
- Pulak K. Chowdhury - Software Engineering MASc (Sep. 2003 - June 2005) [reverse engineering from assembler code]
- Mike Kucera - Computer Science MSc (Sept. 2004 - May 2006)
Partial evaluation of Maple,
and its applications to computer algebra, in particular to something
we named
Residual Theorems.
- Olivier Dragon - Software Engineering MASc (Sept. 2004 - July 2006; joint with
Alan Wassyng) [reverse engineering of scientific computation code]
- David Miller - Computer Science undergraduate (summer 2003 and summer 2004)
[working on maple-to-maple code transformations as well as pattern-mining
in maple code]
- Yun Zhai - Computer Science MSc (Jan 2005 - May 2006; joint with
Ryszard Janicki) [Automating derivation of semantics
for imperative programming languages]
- Gordon Uzskay - Computer Science MSc candidate (sometime in 2004 - May 2006; joint with Christopher Anand) [Design of shape-based type system for the high-level declarative language Coconut
- Stephen Forrest - Computer Science MSc (Sept 2005-Sept 2007)
Contracts and
Property inference
for Maple.
- Kevin Browne - Computer Science undergraduate (summer 2004) [analyzing properties of
closed-form expression via structural recursion]
- Dai Le - Computer Science undergraduate (summer 2004) [reverse engineering] (fall 2004) [optimal polynomial approximants]
Teaching
Current:
Fall 2009: SFWR ENG 3GB3
Fall 2009: COMP SCI 2CS3
Fall 2009: SFWR ENG 3I03
Older courses:
Fall 2008: SFWR ENG 3GB3
Winter 2008: COMP SCI 1FC3
Winter 2008: CAS 706
Fall 2007: SFWR ENG 3GB3
Fall 2007: CAS 752
Winter 2007: COMP SCI 1FC3
Fall 2006: SFWR ENG 3GB3
Fall 2006: CAS 706
Winter 2006: COMP SCI 1FC3
Winter 2006: COMP SCI 1MD3
Winter 2006: CAS 706
Winter 2005: COMP SCI 1MD3
Winter 2005: CAS 706
Fall 2004: SFWR ENG 3M04
Winter 2004: COMP SCI 1MD3
Winter 2004: CAS 706
Fall 2003: SFWR ENG 3M04
Winter 2003: COMP SCI 1MD3
Fall 2002: SFWR ENG 3M04
Contact
Jacques Carette Associate Professor
Room ITB-168
Department of Computing and Software
Faculty of Engineering
McMaster University
1280 Main Street West
Hamilton, Ontario L8S 4K1, Canada
Tel.: +1-905-525-9140 ext. 26869
Fax (dept.): +1-905-524-0340
E-mail: carette at mcmaster.ca