Claudio Menghi

Claudio Menghi serves as an Adjunct Assistant Professor in the Department of Computing and Software within McMaster University's Faculty of Engineering. His academic profile demonstrates a strong focus on bridging theoretical formal methods with practical software engineering challenges, particularly in safety-critical cyber-physical systems.

Dr. Menghi's research spans multiple interconnected domains in software engineering and formal verification. His primary interests include model-based testing techniques for cyber-physical systems, assurance case development for safety-critical applications, and the practical application of formal methods in industrial settings. He has made significant contributions to trace checking methodologies that bridge the cyber-physical gap in verification processes. His work frequently addresses automotive systems, robotics, and medical devices, with numerous publications demonstrating his expertise in requirements validation, model checking, and specification patterns for complex systems. Dr. Menghi has been actively involved in the ARCH-COMP verification competition, contributing to the advancement of hybrid systems verification techniques through multiple category reports.

His recent scholarly output shows an evolving research trajectory that now intersects with artificial intelligence, particularly exploring how large language models can enhance traditional software engineering tasks like change impact assessment. This represents a natural progression of his longstanding commitment to making verification techniques more accessible and practical for industrial applications. Dr. Menghi's teaching portfolio includes courses in software development and safe software-intensive medical devices, reflecting his dual expertise in foundational software engineering principles and specialized safety-critical applications.