Nicholas AnnableNicholas 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.
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.
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.
Alison Bayzat completed her B.Eng in Electrical Engineering and is currently pursuing her M.A.Sc. in Software Engineering. Alison is currently working with General Motors and the University of Toronto on a research project, applying Goal Structuring Notation (GSN) to form assurance case templates.
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).
Dr. Sahar Kokaly received her PhD in Software Engineering from McMaster University in 2019, and her B.Eng. and M.A.Sc. in Software Engineering from McMaster University in 2006 and 2008, respectively. She is currently working as a Industry Liaison and a Researcher (contractor) at General Motors. Her main research interests include model-based software development especially for safety-critical and software intensive systems with the focus on the automotive domain, as well as software safety assurance and certification.
Aamir Mansoor is currently a student researcher working on the LEAP 2 project. He specializes on work with hybrid electric powertrains having worked as an intern with Fiat Chrysler Automobiles for three summers and as well as doing research for them while at school for the past three years. Currently he is working on moving a portion of FCA’s controls to MATLAB Simulink from C to make use of model-based design in their controls.
Guy Meyer is a Master’s Candidate in the field of BioRobotics at McMaster. He completed his undergraduate Mechatronics Engineering degree at McMaster as well with excelling academic achievements. Guy has developed his skills in electro-mechanical systems through several projects in school and in the field.
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).
Add Bio …
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.