معرفی
William Michael Farmer is a Professor in the Department of Computing and Software at McMaster University. His work bridges formal logic, mathematical knowledge management, and software systems, with a focus on type theory and symbolic computation.
- Department: Computing and Software
- Email: farmerw@mcmaster.ca
Research interests include:
- Formal methods and type theory
- Mathematical knowledge management
- Proof assistants and verification
- Symbolic computation and logic
Recent publications emphasize theory morphisms, biform systems, and integration of quotation/evaluation mechanisms in formal logic. Key venues include Lecture Notes in Computer Science, CICM, and Calculemus/MKM conferences.
Teaching activities span courses like Introduction to Computational Thinking (COMPSCI 1JC3), Simple Type Theory (CAS 760), and Logic and Discrete Mathematics (CAS 701), with continuous instruction from 2017 to 2024.
۰مقاله منتشرشده
