McMaster University - Computer Science
Professor at McMaster University
William M.
Farmer
Canada
I am a Professor at the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada. My research interests are applied logic, mechanized mathematics, practice-oriented logics, mathematical knowledge management, and rigorous methods of software development.
Doctor of Philosophy (Ph.D.)
Mathematics
Master's Degree
Computer Sciences
Master's Degree
Mathematics
Bachelor's Degree
Mathematics
The following profiles may or may not be the same professor: