Jacques Carette - PhD (Paris XI - Orsay), M. Sc. (Univ. de Montreal), BMath (Univ. of Waterloo)

Research Interests

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

• Mechanized Mathematics, especially system building (MathScheme). A nice glossy overview was recently published.
• Program Transformation, Meta Programming, and Program Generation.
• Mathematical knowledge management
• Probabilistic Programming: Hakaru
• Game Design

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. Yasmine Sharoda (w/ Bill Farmer) - Ph.D. [MathScheme]
4. Alexander Schaap (w/ Mark Lawford) - Ph.D. [Generative software architecture]
5. Geneva Smith - Ph.D. [G-ScalE: Emotion engine for NPCs]
6. Dan Szymczak (w/ Spencer Smith) - Ph.D. [Drasil]
7. Sasha Soraine - M.A.Sc. [G-Scale: Psycho-motor and cognitive load of game tasks]
8. Steven Palmer (w/ Spencer Smith) - Ph.D. [Drasil]
9. Adrian Scigajlo - M.A.Sc. [GScale]
10. Pavanjot Gill - M.Eng. [GScale]

Former Students

• Dinushi Munasinghe (w/ Bill Farmer) - Ph.D. [MathScheme]
• Alexander Schaap (w/ Mark Lawford) - M.A.Sc. [Generative software architecture]
• Sal D'Amore - M.A.Sc. [G-ScalE - Analysing Game Design Principles]
• Selena Rikley - M.Eng. [G-ScalE - adapting buttions to screen size]
• Margaree Peacocke - M.A.Sc. (Sept. 2013 - Aug. 2015) [G-ScalE]
• Li Ye - M.Eng. (Sept. 2013 - Apr. 2015) [G-ScaleE]
• Robert Teather - post-doc (Sept. 2013 - Aug. 2015) [G-ScalE]
• Joseph Seger (w/ Spencer Smith) M.Sc. (Sept. 2014-Dec. 2014) [Family of physics engines]
• Pooya Samizadeh-yazd - M.Eng. (Sept. 2011-Sept. 2015) [scientific code generation]
• Manas Ghosh (w/ Mark Lawford) Ph.D. (Jan. 2014 - June 2015) [Co-algebraic methods applied to test case generation for control systems]
• Brock Dubbels - post-doc (Nov. 2012-Oct. 2014) [G-ScalE: cognitive psychology aspects of scale]
• Vasudha Kapil (w/ Spencer Smith) M.Eng. (Sept. 2013 - Oct. 2014) [Soft. Eng. usage in applied scientific computation software]
• Adam Lazzarato (w/ Spencer Smith) M.Eng. (Sept. 2013 - Sept. 2014) [Soft. Eng. usage in applied scientific computation software]
• Yue Sun (w/ Spencer Smith) M.Eng. (Sept. 2013 - Sept. 2014) [Soft. Eng. usage in applied scientific computation software]
• Zheng Zeng (w/ Spencer Smith) M.Eng. (Sept. 2013 - Sept. 2014) [Soft. Eng. usage in applied scientific computation software]
• Andrew Leung - Ph.D. (Sept. 2013 - June 2014) [Probabilistic Programming Languages and Symbolic Computation]
• Mohamed Zayed (w/ Bill Farmer) - M.Sc. (Sept. 2013 - Apr. 2014) [MathScheme]
• Nathan Collman - M.A.Sc. (Sept. 2012-Sept. 2014) [G-ScalE: DSL for bullet hell games]
• Manivanna Thevathasan - M.A.Sc. (Sept. 2012-Aug. 2014) [G-ScalE: constraint-based DSL for HUDs]
• Dan Szymczak - M.A.Sc. (Sept. 2011-present) [Code generator for Bayesian learning algorithm families]
• Ishwaree Argade - M.Eng. (Sept. 2012-June 2013) [Repository of software knowledge]
• Bianca Curutan - M.Eng. (Sept. 2011-June 2013) [Cross-paradigm code generator]
• Tom Andersen - exchange from U. of Copenhagen (Dec. 2011-Jul. 2012) [generating generating extensions from MathScheme]
• Jake Penton - M.Eng. (Sept. 2010-May 2011) [Generic algorithms and generic containers]
• Vitalii Fedorenko - CS Master's (Sept. 2010-July 2012) Validation DSL for client-server applications
• Jason Costabile - M.Eng. (May 2011-April 2012) Report: GOOL: Generic OO Language
• Lucas Beyak - M.Eng. (May 2010-April 2011) Report: SAGA, and DSL 2011 paper SAGA: A DSL for Story Management
• Mustafa Elsheik (Sept 2008-Aug 2010; joint with Spencer Smith) Thesis: A Generative Approach to Meshing Geometry, and PEPM paper A Generative Geometric Kernel
• Ni Hong - Computer Science MSc (Sept 2007-Aug 2009) Thesis: Chiron: Mechanizing Mathematics in OCaml
• Mike Zhang- Computer Science MSc (Sept 2007-Aug 2009) Thesis: A language and library of algebraic theory-types
• Pulak K. Chowdhury - Software Engineering MASc (Sep. 2003 - June 2005) [reverse engineering from assembler code]
• Mike Kucera - Computer Science MSc (Sept. 2004 - May 2006) Partial evaluation of Maple, and its applications to computer algebra, in particular to something we named Residual Theorems.
• Olivier Dragon - Software Engineering MASc (Sept. 2004 - July 2006; joint with Alan Wassyng) [reverse engineering of scientific computation code]
• David Miller - Computer Science undergraduate (summer 2003 and summer 2004) [working on maple-to-maple code transformations as well as pattern-mining in maple code]
• David Miller - Computer Science MSc (Sept 2006-May 2010) [a Maple compiler]
• Yun Zhai - Computer Science MSc (Jan 2005 - May 2006; joint with Ryszard Janicki) [Automating derivation of semantics for imperative programming languages]
• Gordon Uzskay - Computer Science MSc candidate (sometime in 2004 - May 2006; joint with Christopher Anand) [Design of shape-based type system for the high-level declarative language Coconut
• Stephen Forrest - Computer Science MSc (Sept 2005-Sept 2007) Contracts and Property inference for Maple.
• Kevin Browne - Computer Science undergraduate (summer 2004) [analyzing properties of closed-form expression via structural recursion]
• Dai Le - Computer Science undergraduate (summer 2004) [reverse engineering] (fall 2004) [optimal polynomial approximants]

Publications and talks

Teaching

Current:

F/W 17/18: SE 4GP6

Fall 2017: CAS 706

Winter 2018: SE 3GB3

Past:

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