Dr. Mark Lawford is a Professor in McMaster University’s Department of Computing and Software and the Associate Director of the McMaster Centre for Software Certification. His research interests include software certification, application of formal methods to safety critical real-time systems, and supervisory control of discrete event systems. He worked at Ontario Hydro as a real-time software verification consultant on the Darlington Nuclear Generating Station Shutdown Systems Redesign project, receiving the Ontario Hydro New Technology Award for Automation of Systematic Design Verification of Safety Critical Software in 1999. He joined McMaster University’s Department of Computing and Software in 1998 where he helped develop the Software Engineering and Mechatronics Engineering programs. He has been a guest co-editor of joint special issues on Software Inspection of IEEE Software and IEEE Transactions on Software Engineering. He served as the Section Chair for Computer Systems on the Computer Science Evaluation Group (EG-1507) for the 2010 NSERC Discovery Grant Competition. He is a licensed Professional Engineer in the province of Ontario and a Senior Member of the IEEE.