Skip to main content

Dr. William Farmer

Professor

Department of Computing and Software

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