Skip to main content
Latest information and updates about COVID-19 (coronavirus) from McMaster University
Menu
Home
Programs
chevron-white
Degree Options
Course Listing
Scholarships
Research
chevron-white
Areas of Specialization
Centres & Institutes
Facilities
Industry Partners
Technical Reports
People
chevron-white
Faculty
Staff
Adjuncts & Associates
Researchers & Postdoctoral Fellows
Grad Students
Resources
News & Events
chevron-white
Latest News
Upcoming Events
Event Series
Upcoming Deadlines
Dr. William M. Farmer
Professor
Department of Computing and Software
Expertise:
logic; mechanized mathematics; mathematical knowledge management; formal methods
Areas of Specialization:
Theory & Computing
Research Clusters:
Digital & Smart Systems
Email:
wmfarmer
Office:
ITB 163
Phone:
+1 905.525.9140 x 27039
Download Curriculum Vitae
Visit Personal Website