William M. Farmer
- Courses0
- Reviews0
- School: McMaster University
- Campus:
- Department: Computer Science
- Email address: Join to see
- Phone: Join to see
-
Location:
Hamilton, ON - Dates at McMaster University: -
- Office Hours: Join to see
Biography
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.
Experience
Education
University of Wisconsin-Madison
Doctor of Philosophy (Ph.D.)
Mathematics
University of Wisconsin-Madison
Master's Degree
Computer Sciences
University of Wisconsin-Madison
Master's Degree
Mathematics
University of Notre Dame
Bachelor's Degree
Mathematics
Possible Matching Profiles
The following profiles may or may not be the same professor:
- William Farmer
University of Memphis - Psychology