Mark Lawford

Papers

Total Citations

H-Index

About

Mark Lawford is a leading figure in the formal verification and safety-critical systems engineering, with a particular focus on the rigorous design of software for autonomous and cyber-physical systems. His work bridges the gap between theoretical computer science and practical industrial applications, most notably in the automotive and aerospace sectors. Lawford’s major contributions include the development of supervisory control theory for discrete-event systems and the application of formal methods to ensure the reliability of complex, safety-critical software. His research has been instrumental in advancing the verification of real-time and hybrid systems, directly impacting the certification standards for autonomous vehicles. While his most cited paper, "Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems" (2020), has garnered 3 citations, it underscores his commitment to the ethical dimensions of technology. Beyond this, his broader body of work, including seminal papers on modular supervisory control and the synthesis of controllers, has accumulated thousands of citations, reflecting his profound influence on both academia and industry. Lawford’s achievements include leading the McMaster Centre for Software Certification and contributing to the development of the IEC 61508 and ISO 26262 safety standards.