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.


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

  1. Gordon Uszkay - CS PhD (May 2006-present) [Unifying property-based testing frameworks]
  2. Lijun Zhu - CS PhD (Sept. 2011-present) [Presenting the fundamental theories of CS]
  3. Pooya Samizadeh-yazd - M.Eng. (Sept. 2011-present) [scientific code generation]
  4. Brock Dubbels - post-doc (Nov. 2012-present) [G-ScalE: cognitive psychology aspects of scale]
  5. Sal D'Amore - M.A.Sc. (May. 2013 - present) [G-ScalE]
  6. Robert Teather - post-doc (Sept. 2013 - present) [G-ScalE]
  7. Yasmine Sharoda (w/ Bill Farmer) - Ph.D. (Sept. 2013 - present) [MathScheme]
  8. Margaree Peacocke - M.A.Sc. (Sept. 2013 - present) [G-ScalE]
  9. Li Ye - M.Eng. (Sept. 2013 - present) [G-ScaleE]
  10. Vasudha Kapil (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  11. Adam Lazzarato (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  12. Yue Sun (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  13. Zheng Zeng (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  14. Alexander Schaap (w/ Mark Lawford) M.A.Sc. (Jan. 2014 - present) [Applicability of symbolic modeling to automotive applications]
  15. Manas Ghosh (w/ Mark Lawford) Ph.D. (Jan. 2014 - present) [Co-algebraic methods applied to test case generation for control systems]
  16. Geneva Smith - M.A.Sc. (May 2014 - present) [G-ScalE: TBD]
  17. Dan Szymczak (w/ Spencer Smith) Ph.D. (Sept. 2014-present) [Literate Software]
  18. Joseph Seger (w/ Spencer Smith) M.Sc. (Sept. 2014-present) [Family of physics engines]

Former Students

Publications and talks

Teaching

Current:

Fall 2014: SE/CS 2S03

Fall 2014: CAS 706

Winter 2015: CAS 761

Winter 2015: SFWR ENG 3GB3

Past:

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

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