Skip to McMaster Navigation
Skip to Site Navigation
Skip to main content
McMaster logo
Faculty of Engineering
Search button
Menu button
Skip to content
Main Menu
About
History and Achievements
Leadership: Faculty of Engineering
Dean’s Advisory Board
Faculty
Faculty Recruitment
Staff
Strategic Priorities
McMaster Engineering Fast Facts
The Pivot
Future Students
Why McMaster Engineering?
Discover McMaster: Life in Hamilton
Future Undergraduate Students
Future International Undergraduate Students
MacEng Applicant to Student Guide
Undergraduate Entrance Scholarships
Future Graduate Students
Supporting Our Students
Engineering is for Everyone
Co-op Program
Programs
Departments, Schools & Programs
Degree Options
Academic Advising
Engineering I
EMBER
Global Engineering Design Studio
Bachelor of Technology (B.Tech.) DCP
Co-op & Career
Welcome to ECCS!
Co-op Program
Hire Students
MacChangers
Grand Challenges
Research
Overview
Research Clusters
Chairs
Centres & Institutes
Making Global Impact
Podcast: Big Ideas for a Changing World
Industry Partners
Connect
Alumni
Giving
Women in Engineering
Clubs, Groups & Teams
Venture Academy
Entrepreneurship
Experiential Learning
Resources
Resources
Publications
Fireball Academy
Instructor Reflection Toolkit
Creative Services
News & Events
Latest News
Upcoming Events
Event Series
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@mcmaster.ca
Office:
ITB 163
Phone:
+1 905.525.9140 x 27039
Visit Personal Website
Overview
Related Courses
Overview
Download Curriculum Vitae
Publications
Biography
Education
Achievements
Related Courses
