Dr. William M. Farmer
Professor
Department of Computing and Software
- Expertise:
- logic; mechanized mathematics; mathematical knowledge management; formal methods
- Areas of Specialization:
-
- Research Clusters:
-
- Email:
- wmfarmer
- Office:
- ITB 163
- Phone:
- +1 905.525.9140 x 27039