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. I also really enjoy working (or simply exchaning fascinating emails) with Volker Sorge, Freek Wiedijk, Oleg Kiselyov, and Chung-chieh Shan.


Co-chair of AISC 2012 Calculemus 2009, Programming Languages and Mechanized Mathematics Systems Workshop 2008, Programming Languages and Mechanized Mathematics Systems Workshop 2007, and Calculemus 2005

Program committee member of WGP 2012, PEPM 2011, Automatheo 2010, AISC 2010, 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

Former Students

Publications and talks

Teaching

Current:

Winter 2013: SFWR ENG 3GB3

F/W 2012/2013: SFWR ENG 4GP6

Past:

Fall 2012: CAS 761

Fall 2012: CAS 781

F/W 2011/2012: SFWR ENG 4GP6

Winter 2012: SFWR ENG 3GB3

Fall 2011: CAS 706

Winter 2011: SFWR ENG 3GB3

Winter 2011: COMP SCI 4TB3

Fall 2010: COMP SCI 2CS3

Fall 2010: SFWR ENG 3I03

Fall 2009: SFWR ENG 3GB3

Fall 2009: COMP SCI 2CS3

Fall 2009: SFWR ENG 3I03

Fall 2008: SFWR ENG 3GB3


Even older

Useful links

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