معرفی
Alan Wassyng is a Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. With over four decades of academic contributions, he specializes in formal methods, safety-critical systems, and software assurance cases.
- Key research intersections: Automotive software safety
- Medical device software certification
- Cyber-physical systems engineering
- Model-driven development with domain experts
His scholarly work emphasizes rigorous methodologies for software verification, particularly through tabular expressions and Workflow+ models. Recent projects include a $2M GM Canada partnership to advance automotive safety systems.
Teaching leadership spans interdisciplinary capstone projects in biomedical engineering, covering software design, safety-critical development, and mechatronics applications.
۰مقاله منتشرشده
