William M. Farmer

Professor
Department of Computing and Software
McMaster University

Research Interests

• Logic
• Mechanized mathematics
• Mathematical knowledge management
• Formal methods
• IMPS Interactive Mathematical Proof System
• MathScheme Project
• Tetrapod Project
• CICM