Skip to main content

Dr. William M. Farmer

Professor

Department of Computing and Software

Expertise:
logic; mechanized mathematics; mathematical knowledge management; formal methods
Areas of Specialization:
Research Clusters: