William M. Farmer

Professor
Department of Computing and Software
McMaster University


Graduate Students and Postdoctoral Fellows

Doctoral Students

Pouya Larjani Publications
"Software Specialization as Applied to Computational Algebra"
Ph.D. in Computer Science
Department of Computing and Software
McMaster University
April 2013
Jian Xu Publications
"Mei—A Module System for Mechanized Mathematics Systems"
Ph.D. in Computer Science
Department of Computing and Software
McMaster University
January 2008

Master's Students

Qian Hu
"Reasoning about Definedness—A Definedness Checking System for an Implemented Logic"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
October 2011
Quang Minh Tran
"Algebraic Constructions Applied to Theories"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
June 2011
Han Yin (Chris) Zhang
"Simplification Infrastructure for an Implementation of the Chiron Logic"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
September 2010
Mehwish Abbasi
"Development of a Portion of a Theory Library for Mechanized Mathematics Systems"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
September 2009
Orlin Grigorov Publications
"Panoptes: An Exploration Tool for Formal Proofs"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
June 2008
Pouya Larjani
"Algebraic Processors"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
August 2007
Ramez Mousa
"An Implementation of the Snoop Protocol for the Linux 2.6 Kernel Series"
M.Eng. in Software Engineering
Department of Computing and Software
McMaster University
April 2006
Zhihui Dong
"A Formal Theory of Financial Contracts"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
August 2004
Dianne Miller
"Two Formal Theories of Character Strings"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
September 2002
Ping Tan (cosupervisor: Jeffery I. Zucker)
"Mechanical Verification of Machine Integer Programs in a Fragment of C"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
September 2002
Yan Li
"IMPS to OMDoc Translation"
M.Sc. in Computer Science
Department of Computing and Software
McMaster University
August 2002

Postdoctoral Fellows

Russell O'Connor (cosupervisor: Jacques Carette)
MathScheme Project
September 2009 - September 2012
Jérémie Wajs (cosupervisor: Martin v. Mohrenschildt)
MathScheme Project
October 2002 - October 2003