William M. Farmer
Professor
Department of Computing and Software
McMaster University
Graduate Students and Postdoctoral Fellows
Doctoral Students
- Yasmine Sharoda (cosupervisor: Jacques Carette)
- "Leveraging Information Contained in Theory Presentations"
- Ph.D. in Computer Science
Department of Computing and Software
McMaster University
- March 2021
- Shucai Yao (cosupervisor: Emil Sekerinski)
- "An Efficient Implementation of Guard-Based Synchronization for
an Object-Oriented Programming Language"
- Ph.D. in Computer Science
Department of Computing and Software
McMaster University
- July 2020
- Qian Hu Publications
- "FCL: A Formal Language for Writing Contracts"
- Ph.D. in Computer Science
Department of Computing and Software
McMaster University
- May 2018
- 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
- Emrah Asma (cosupervisor: Spencer Smith)
- "Energy Management Comparisons with Microgrids: An Overview of
Traditional and Hydrogen Hybrid Microgrids"
- M.Eng. in Computing and Software
Department of Computing and Software
McMaster University
- September 2023
- Lekhani Ray
- "Formalization of Biform Theories in Isabelle"
- M.Sc. in Computer Science
Department of Computing and Software
McMaster University
- October 2022
- Lina El Sadek (cosupervisor: Spencer Smith)
- "Digital Twins for Life Safety Critical Systems in Rural Hospitals:
A Cost-Benefit Analysis"
- M.Eng. in Computing and Software
Department of Computing and Software
McMaster University
- April 2022
- 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