معرفی
Lucian Patcas serves as an Adjunct Assistant Professor in the Department of Computing and Software within McMaster University's Faculty of Engineering. His academic profile centers on bridging theoretical models with practical software engineering solutions for embedded and safety-critical systems development.
His research encompasses Software Engineering, Model-Based Development, and Embedded Systems, with specialized expertise in requirements implementation, real-time analysis, and domain-specific tooling. Key contributions include advancing the Four-Variable Model for safety-critical systems and developing methodologies for Simulink-based embedded design documentation. His work integrates formal methods with practical engineering tools, targeting automotive and safety-critical application domains.
Recent publications (2013-2018) demonstrate sustained focus on model-driven approaches for embedded software, requirements traceability, and web service composition. The publication trajectory reveals evolution from foundational web services research toward specialized embedded systems engineering, with strong emphasis on verification and validation techniques.
Patcas maintains active collaborations with McMaster researchers including Mark Lawford (6 co-authored publications), Vera Pantelic, and Alan Wassyng, focusing on formal verification methods for embedded systems. While no active grants appear in VIVO records, his research demonstrates tangible impact through patent references and academic readership (29 Mendeley readers).


