Scholar
Mark Lawford
Google Scholar ID: 7v2eN0cAAAAJ
McMaster University
Citations & Impact
Citations
1,358
H-index
15
i10-index
34
Publications
20
Co-authors
13
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Co-recipient of an Ontario Hydro New Technology Award for contributions to automating systematic design verification of safety-critical software
- Developed multiple Matlab/Simulink tools, including:
- - Tabular Expression Toolbox
- - Auto Layout Tool
- - Data Store Pushdown (scoping) tool
- - Reach/Coreach Tool for data dependency tracing and model slicing
- - Signature Tool for detecting implicit data flow and auto-generating I/O documentation
- Program Committee Co-Chair of ICFEM 2016 (18th International Conference on Formal Engineering Methods)
Research Experience
- Joined McMaster University as Assistant Professor in August 1998, later promoted to Professor
- Contractor at Ontario Hydro from March 1997 to July 1998, performing formal verification of the Darlington Nuclear Generating Station Shutdown System Trip Computer Software
- Ongoing research collaborations with Fiat Chrysler Automobiles (FCA) via NSERC CRD led by Ali Emadi, previously supported by APC-funded LEAP project
- Collaboration with General Motors through NSERC CRD and previously through APC and ORF-RE funded NECSIS project
- Past collaboration with Toyota InfoTechnology Center on Automotive Software Certification
- Collaborated with Ontario Power Generation, Systemware International, etc., on the ORF-RE funded project 'Certification of Safety-Critical Software-Intensive Systems'
- Co-founded the Software Certification Consortium (SCC) with colleagues Alan Wassyng and Tom Maibaum, launching the Pacemaker Software Grand Challenge
Background
- Professor and past Chair of the Department of Computing and Software at McMaster University
- Founding member and current Director of the McMaster Centre for Software Certification (McSCert)
- Research interests include Software Engineering, Control of Discrete Event Systems (DES), Software Certification, Formal Methods for Real-Time Systems (synthesis, verification, model reduction), practical application of formal methods in software engineering, computer-aided inspection, and supervisory control of modular, nondeterministic, probabilistic DES and hybrid systems
- Licensed Professional Engineer (P.Eng.) in Ontario
- Senior Member of IEEE
