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

  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. Dan Szymczak - M.A.Sc. (Sept. 2011-present) [Code generator for Bayesian learning algorithm families]
  4. Pooya Samizadeh-yazd - M.Eng. (Sept. 2011-present) [scientific code generation]
  5. Nathan Collman - M.A.Sc. (Sept. 2012-present) [G-ScalE: DSL for bullet hell games]
  6. Manivanna Thevathasan - M.A.Sc. (Sept. 2012-present) [G-ScalE: constraint-based DSL for HUDs]
  7. Ishwaree Argade - M.Eng. (Sept. 2012-present) [Repository of software knowledge]
  8. Brock Dubbels - post-doc (Nov. 2012-present) [G-ScalE: cognitive psychology aspects of scale]
  9. Sal D'Amore - M.A.Sc. (May. 2013 - present) [G-ScalE]
  10. Robert Teather - post-doc (Sept. 2013 - present) [G-ScalE]
  11. Andrew Leung - Ph.D. (Sept. 2013 - present) [Probabilistic Programming Languages and Symbolic Computation]
  12. Yasmine Sharoda (w/ Bill Farmer) - Ph.D. (Sept. 2013 - present) [MathScheme]
  13. Margaree Peacocke - M.A.Sc. (Sept. 2013 - present) [G-ScalE]
  14. Mohamed Zayed (w/ Bill Farmer) - M.Sc. (Sept. 2013 - present) [MathScheme]
  15. Li Ye - M.Eng. (Sept. 2013 - present) [G-ScaleE]
  16. Vasudha Kapil (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  17. Adam Lazzarato (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  18. Yue Sun (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  19. Zheng Zeng (w/ Spencer Smith) M.Eng. (Sept. 2013 - present) [Soft. Eng. usage in applied scientific computation software]
  20. Alexander Schaap (w/ Mark Lawford) (Jan. 2014 - present) [Applicability of symbolic modeling to automotive applications]
  21. Manas Ghosh (w/ Mark Lawford) (Jan. 2014 - present) [Co-algebraic methods applied to test case generation for control systems]

Former Students

Publications and talks

Teaching

Current:

Winter 2014: SFWR ENG 3GB3

F/W 2013/2014: SFWR ENG 4GP6

Past:

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

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