Research Interests

You can read a longer description but roughly my interests are in:

Active member of the MathScheme project at McMaster University, which is a sub-project of the Tetrapod project. Associate member of the Ontario Research Center for Computer Algebra.


Chair, co-chair, organizer of Modular Knowledge workshop (at FLOC 2018), 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 NMFP 2018 (at ICFP 2018), CICM 2018, CICM 2017, 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. Lijun Zhu - CS PhD [An operational meta-language for models of computation]
  2. Yasmine Sharoda (w/ Bill Farmer) - Ph.D. [MathScheme]
  3. Alexander Schaap (w/ Mark Lawford) - Ph.D. [Generative software architecture]
  4. Dan Szymczak (w/ Spencer Smith) - Ph.D. [Drasil - infrastructure+documents]
  5. Geneva Smith - Ph.D. [G-ScalE: Emotion engine for NPCs]
  6. Sasha Soraine - M.A.Sc. / Ph.D. [G-Scale: Psycho-motor and cognitive load of game tasks]
  7. Adrian Scigajlo - M.A.Sc. [Generative stories]
  8. Musa Al-hassy (w/ Wolfram Kahl) - Ph.D. [A module "system" for dependently typed languages]
  9. Noel Brett - Ph.D. [Putting Calculus into all your functional programs]
  10. Olu Owujaiye - Ph.D. (w/ Spencer Smith) [Drasil: generalized development process]
  11. Thien Trandinh - M.A.Sc. [G-ScalE: VR cycling game w/ health applications]
  12. Ethan Chan - M.A.Sc. [G-ScalE: VR cycling game w/ health applications]
  13. Peter Michalski - M.Eng. [SE State of the Practice]
  14. Ao Dong (w/ Spencer Smith) - M.Eng. [SE State of the Practice]
  15. Ting-Yu Wu (w/ Spencer Smith) - M.Eng. [Drasil]
  16. Dong Chen (w/ Spencer Smith) - M.Eng. [Drasil]
  17. Xin Wen - M.Eng. [G-ScalE]
  18. Brendan Fallon - M.Eng. [G-ScalE]
  19. Jason Balaci- M.A.Sc. [Drasil]

Former Students

Publications and talks

Teaching

Current:

F/W 20/21: CS 4ZP6

Fall 2020: CAS 761

Winter 2021: CS 3FP3

Past:

F/W 19/20: SE 4GP6

Winter 2020: CS/SE 3FP3

F/W 18/19: SE 4GP6

Fall 2018: CAS 761

Winter 2019: CS/SE 3FP3

F/W 17/18: SE 4GP6

Fall 2017: CAS 706

Winter 2018: SE 3GB3

Winter 2017: SE 3GB3

Winter 2017: CS/SE 3I03

Fall 2016: CS 2S03

Fall 2016: CAS 781

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