William M. Farmer

Professor and Chair
Department of Computing and Software
McMaster University

Research Interests

• Applied logic
• Mechanized mathematics
• Symbolic computation
• Theorem proving systems
• Mathematical knowledge management
• Formal methods in software development
• IMPS Interactive Mathematical Proof System
• MathScheme Project