Dr. William M. Farmer – Faculty of Engineering
William Farmer

Dr. William M. Farmer

Expertise

Logic, mechanized mathematics, mathematical knowledge management, formal methods.

Research Clusters

  • Professor

    Computing and Software

Overview

Download Curriculum Vitae.