William Farmer

 WilliamM. Farmer

William M. Farmer

  • Courses0
  • Reviews0

Biography

McMaster University - Computer Science

Professor at McMaster University
William M.
Farmer
Canada
I am a Professor at the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada. My research interests are applied logic, mechanized mathematics, practice-oriented logics, mathematical knowledge management, and rigorous methods of software development.


Experience

    Education

    • University of Wisconsin-Madison

      Doctor of Philosophy (Ph.D.)

      Mathematics

    • University of Wisconsin-Madison

      Master's Degree

      Computer Sciences

    • University of Wisconsin-Madison

      Master's Degree

      Mathematics

    • University of Notre Dame

      Bachelor's Degree

      Mathematics

    Possible Matching Profiles

    The following profiles may or may not be the same professor: