Richard Paige


Dr. Paige’s expertise is in Model-Based Systems and Software Engineering and technology transfer, with a particular focus on safety-critical systems and large-scale software deployment. He has published extensively on these and related topics, and is involved with a number of open-source projects on Model-Driven Engineering. He is on the editorial board for Springer’s Software and Systems Modeling, Springer’s Empirical Software Engineering, and the platinum open-access JOT Journal. He is the current Director of McSCert.

Alan Wassyng


With 50 years’ experience in both industry and academia, Dr. Wassyng is a sought-after speaker, consultant and thought leader in the certification of software-intensive systems, rigorous approaches to the development of safety-critical software and the development, evaluation and use of assurance cases. He is an expert on functional safety and hazard analysis of safety-critical systems. He was a co-founder of McSCert and was its inaugural Director. He was also a co-founder of the Software Certification Consortium in 2007, and has been the chair of the steering committee since its inception.

Office:1-905-525-9140 x 26072

Mark Lawford


Dr. Lawford’s expertise includes automotive software development, functional safety, software certification, application of formal methods to critical real-time systems and tool-supported safety-critical software engineering. His group has developed methods and tools to support software engineering methods in Matlab/Simulink. He is the software and functional safety advisor for the McMaster Engineering EcoCAR 3 team. He was a co-founder and a former Director of McSCert.

Office:1-905-525-9140 x 23362

Tom Maibaum

Professor Emeritus

Dr. Tom Maibaum is a world-leading researcher in software engineering, with extensive experience in formal specification, formal methods, component-based development, and model-driven development. He held the Tier 1 Canada Research Chair in Foundations of Software Engineering.

Vera Pantelic

Senior Principal Research Engineer

Dr. Vera Pantelic’s main research interests include development and certification of safety-critical software systems and model-based development.  She brings extensive experience in tool-supported model-based design of automotive software to this project, as well as knowledge of ISO 26262 compliance.

Vera is a reviewer for a number of journals, including: IEEE Transactions on Automatic Control, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Control Systems Technology, and International journal of Control and conferences, including the International Conference on Application of Concurrency to System Design (ACSD), and the International conference on Model-Driven Engineering and Software Development (MODELSWARD).

Jacques Carette


Computer Scientist, educated as a mathematician, worked as a software engineer in industry for 11 years. Currently working on generative programming, formalized mathematics, approaches to (very) long term software engineering, and programming language theory.

Sebastien Mosser


Sebastien Mosser’s research interests are related to software engineering, and more specifically, scalable software composition, domain-specific languages and modelling. In addition, Sebastien applies his research to various domains such as cloud computing, cyber-physical systems, and, more recently, source code and micro-services architecture. His research has been conducted closely with industrial partners and has led to several technological transfers.

He received his Ph.D. in Computer Science from Université de Nice (France) in 2010. He was a postdoctoral student at Inria Lille-Nord Europe in 2011 before joining SINTEF (Oslo, Norway) as a research scientist. He then joined Université Côte d’Azur in 2012, where he was an Assistant and then Associate Professor in charge of the Master of Software Architecture. Before joining McMaster University, he was an Associate Professor of Software Engineering at Université du Québec à Montréal from 2019 to 2021.

Claudio Menghi


Claudio Menghi received his BSc and MSc degrees in computer science from the Politecnico di Milano where he later obtained his Ph.D. degree under the supervision of Prof. Carlo Ghezzi in 2015. From 2017 to 2018, he was a Postdoctoral Researcher at the University of Gothenburg and Chalmers. From 2018 to 2021, he was a Research Associate at the Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg. He is an Assistant Professor at McMaster University.

His research interests are in formal methods and software engineering, with specific interests in cyber-physical systems, robotics, and formal verification. He has spent several years doing research with industry and applying formal methods and software engineering techniques in industrial contexts. In particular, he has led research projects with several industry partners: BOSCH and PAL Robotics in the robotics domain, and LuxSpace and QRA Corp in the aerospace and cyber-physical domain.

Victor Bandur

Principal Research Engineer

Dr. Victor Bandur received his B.S. and M.A.Sc. degrees from McMaster University.  He received his PhD from the University of York, UK in the area of three-valued logics and software specification.  He has researched safety assurance at the University of York and software aspects of cyber-physical systems at Aarhus University, Denmark.  He joined McSCert in 2018 as Postdoctoral Fellow.  Dr. Bandur is currently Principal Research Engineer, focusing on the next generation of in-vehicle computer and network architectures.