Jacques Carette, McMaster University

Associate Professor Computing & Software Hamilton, Ontario carette@mcmaster.ca Office: (905) 525-9140 ext. 26869

Expert In

Computations by computer Computer algebra systems Correct-by-construction programming Game design programming Generative programming Mechanized mathematics Programming languages semantics Software engineering

Bio/Research

Mechanized Mathematics, especially system building (MathScheme)

Functional Programming, Program Transformation, Meta Programming, and Program Generation

Expressive programming languages

Mathematical knowledge management

Symbolic Computation - semantics, impleme...

Click to Expand >>

Bio/Research

Links

Faculty Page