معرفی
Victor Bandur is an Adjunct Assistant Professor at the Department of Computing and Software within McMaster University's Faculty of Engineering. His work bridges formal methods, software engineering, and automotive systems, focusing on model-based design, cyber-physical systems, and embedded security.
Research Interests:
- Model-Based Systems Engineering
- Formal Methods
- Automotive E/E Architectures
- Cyber-Physical Systems
- State Learning for Vulnerability Detection
- Assurance Cases for Safety-Critical Systems
Publication Trends: His recent work (2024–2019) emphasizes centralized automotive architectures, formal verification techniques, and state learning applications in tool-assisted vulnerability detection, often leveraging standards like TSN networks and methodologies such as EMF and VDM-RT.
۰مقاله منتشرشده
