Jacques CaretteProfessor, Computing and Software
Overview
Jacques Carette is an Associate Professor in the Department of Computing and Software. He has dual interests in very formal endeavours (mechanized mathematics, correct–by-construction software and meta programming) as well as more applied work — game design, with some forays in the areas of ‘live coding’ (for music) as well as 3D videos (also for music).
