Dr. Tom Maibaum
Dr. Tom Maibaum is the Tier I Canada Research Chair in the Foundations of Software Engineering and a Professor in the Department of Computing and Software at McMaster University. He is the lead investigator for the $22M ORF-RE project “Certification of Safety-Critical Software-Intensive Systems” and also for the $11.2M Network on Engineering Complex Software Intensive Systems for Automotive Systems (NECSIS), funded by Automotive Partnership Canada (APC). He is also co-investigator on the ORF-RE project “Model-based Software Engineering” led by the University of Waterloo. Dr. Maibaum has made a number of significant contributions to the establishment of the principles of software specification, which have become mainstream in the subject, as described in “Specification of Computer Programs,” the book co-authored with Professor W. Turski in 1987. He introduced the use of deontic logic, originally intended to support the formalization of legal reasoning, in software engineering.