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.


Chair or co-chair of Calculemus 2015, CICM 2013, WGP 2013, 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 ML family workshop 2016, CICM 2016, PEPM 2015, AISC 2014, 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

  1. Gordon Uszkay - CS PhD [Unifying property-based testing frameworks]
  2. Lijun Zhu - CS PhD [Presenting the fundamental theories of CS]
  3. Sal D'Amore - M.A.Sc. [G-ScalE - Analysing Game Design Principles]
  4. Yasmine Sharoda (w/ Bill Farmer) - Ph.D. [MathScheme]
  5. Alexander Schaap (w/ Mark Lawford) - M.A.Sc. [Generative software architecture]
  6. Geneva Smith - M.A.Sc. [G-ScalE: Building AIs which are context-aware]
  7. Dan Szymczak (w/ Spencer Smith) - Ph.D. [Literate Software]
  8. Selena Rikley - M.Eng. [G-ScalE - adapting buttions to screen size]
  9. Sasha Soraine - M.A.Sc. [G-Scale - TBD]

Former Students

Publications and talks

Teaching

Future:

Fall 2016: CS 2S03

Fall 2016: CAS 781

Winter 2017: SE 3GB3

Winter 2017: CS/SE 3I03

Current:

Past:

Winter 2015: CAS 761

Winter 2015: SFWR ENG 3GB3

Fall 2014: SE/CS 2S03

Fall 2014: CAS 706

Winter 2014: SFWR ENG 3GB3

F/W 2013/2014: SFWR ENG 4GP6

Fall 2013: SE/CS 2S03

Winter 2013: Comp Sci 4ZP6

Winter 2013: SFWR ENG 3GB3

F/W 2012/2013: SFWR ENG 4GP6

Fall 2012: CAS 761

Fall 2012: CAS 781

F/W 2011/2012: SFWR ENG 4GP6

Winter 2012: SFWR ENG 3GB3

Fall 2011: CAS 706


Even older

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