William Farmer, McMaster University

Default profile photo

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

Expert In

Formal computing methods Logic Mechanized mathematics

Links

Faculty Page