McSCert Research Team


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


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 45 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 use of assurance case templates. 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, and has been the chair of the steering committee since its inception.

Office:1-905-525-9140 x 26072

Professor Emeritus

Tom Maibaum

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.

PhD Candidate

Nicholas Annable

Nicholas Annable is a Ph.D. Candidate in Software Engineering at McMaster University. He received a Master’s degree (2020) and Bachelor of Engineering (2017) from McMaster University.  His main research interests are in model-driven engineering, model-based safety assurance, safety-critical systems and systems engineering in general.

Masters Candidate

Paul Aoanan

Paul Aoanan is a licensed Professional Engineer (P.Eng.). He received his Bachelor of Engineering and Management (B.Eng. & Mgmt.) degree from McMaster University in 2014 with a focus on Mechatronics Engineering.

For several years, Paul developed safety-critical control systems for use in the energy and nuclear industries.

From requirements gathering, documentation, and design to verification, validation, factory acceptance testing, and commissioning, Paul has played key and vital roles in the formal and rigorous process of developing nuclear-hardened software and control systems that adhere to stringent nuclear safety standards.

Paul is currently pursuing his Master of Applied Science degree in Software Engineering under the supervision of Dr. Alan Wassyng and Dr. Mark Lawford.

His research interests include safety in autonomous systems and vehicles, control systems, formal development processes, and software lifecycle.

Masters Candidate

Joshua Barkovic

PhD Candidate

Thomas Chowdhury

Masters Candidate

Spencer Deevy

PhD Candidate

Monika Jaskolka

Monika Jaskolka is a Ph.D. Candidate in Software Engineering at McMaster University. She previously received a Master’s degree in Software Engineering from McMaster University (2014) and an Honours Bachelor of Computer Science degree from Laurentian University (2012). Her main research interests include model-based development, safety-critical systems, and software engineering principles in general. She is the recipient of the NSERC Alexander Graham Bell Canada Graduate Scholarship and Ontario Graduate Scholarship. She currently works for Fiat Chrysler Automobiles (FCA).

PhD Candidate

Eric Lesiuta

Masters Candidate

Gordon Marks

Masters Candidate

Curtis Milo

Senior Principal Research Engineer

Vera Pantelic

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).

PhD Candidate

Alexander Schaap

Research Engineer

Asim Shah

Add Bio …

Research Engineer

Stephen Wynn-Williams

Postdoctoral Fellow

Victor Bandur

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, looking at the software safety aspects of modern passenger vehicles.

Senior Research Scientist, Adjunct Professor

Zinoviy Diskin

Zinovy Diskin has 25+ years of experience in building mathematical models for artifacts, languages and processes in software engineering, databases and business including automotive, e-commerce and banking in Canada, US, and Latvia. Amongst his and coauthors most known and practically applicable models are Delta Lenses for specifying model synchronization via change propagation, DP-Graphs for diagrammatic specification of constraints and queries in data and behaviour modelling, WorkflowPlus modelling for safety assurance, and a categorical semantics for relational domain modelling and its implementation in the language Clafer. He has published extensively on category theory foundations for MDE and model management, and mathematics of model consistency, synchronization and transformation. He is a corecipient of the 10-year most influential paper award from J. of Software and System Modeling (2018). He holds Masters in Mechanical Engineering and Research from Bryansk State Technical University (Russia), PhD in Mathematics from Omsk State University (Russia), and Dr. Math from the University of Latvia.

Postdoctoral Fellow

Mehrnoosh Askarpour

Dr. Askarpour received her Ph.D. in 2018 from Politecnico di Milano. Her research interests are formal verification of safety-critical system properties, model-based safety analysis, and application of model checking in autonomous systems.

Research Engineer

Musa Al-hassy

Musa enjoys learning logic, programming languages, category theory, and correct-by-construction software —which he has taught as a sessional lecturer for a number of years. His PhD research is on developing first-class module systems for dependently-typed languages. He also maintains a blog at

Undergraduate Research Assistant

Ryan Tyrrell

Student-athlete at McMaster University studying Mechatronics & Management

PhD Candidate

Tiago Machado

Currently, Tiago is a Doctoral Researcher in Software Engineering at McMaster University and Research Assistant in industrial projects with McSCert. Before moving to Canada, he spent several years working in the industry for a well-known R&D company in Brazil in various medical engineering projects, most of them towards medical ultrasound applications. He received the B.Sc. degree in Physics from the Federal University of São Carlos (UFSCar, Brazil) and the M.Sc. degree in Biomedical Engineering from the University of Campinas (UNICAMP, Brazil). His research interests lie in safety-critical systems in general, model-based development, system engineering, hazard analysis, functional safety and signal/image processing techniques applied to medical imaging.


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.

Masters Candidate

Akila Loganathan

Akila Loganathan is currently pursuing Masters in Computer Science. She was previously working as a Software Engineer at Infosys Ltd. Her major research interests are Software Migration, Software Engineering, Machine Learning.

Undergraduate Research Assistant

Michael Kehinde

Student at McMaster University studying Mechatronics Engineering & Management.

Abdul Maksoud Abdullah

Abdullah joined McMaster University in the fall of 2018. He is currently studying Software Engineering.

PhD Candidate

Thomas Chiang

Thomas Chiang has received both his B.Eng and M.A.Sc from McMaster and is currently working on his PhD. His main research for his M.A.Sc was in developing tools for the improvement of tools available for safety engineering with a focus in the automotive industry, developing tools for safety assurance. Moving forward he will continue research in model driven engineering environments, with a focus on safety assurance in medical devices and software while working in a model driven software engineering environment.

Masters Candidate

Ryan Kapinski

Jala Malcolm

Jala is currently pursuing a bachelor’s degree in Mechatronics & Biomedical Engineering at McMaster University.

PhD Candidate

Hong Sun

Hong is a PhD Candidate pursuing his interests in safety analysis and model-based engineering.

Masters Candidate

Parsa Tayefeh Morsal