Jeffrey Zucker, McMaster University

Profile photo of Jeffrey Zucker, expert at McMaster University

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

Expert In

Automatic proof checking Computability over abstract algebras Computation logic theory Logical foundations of software documentation Program semantics Proof theory

Links

Faculty Page