معرفی
Dr. Emil Sekerinski is a Professor in the Department of Computing and Software at McMaster University. He holds the position of Undergraduate Advisor for Computer Science (Jan 1, 2025 – June 30, 2025). His expertise spans programming logic (verification, refinement), concurrency (components, implementation), embedded systems (modelling, analysis), and programming languages (run-time, compilation). He is actively involved in research clusters focused on Digital & Smart Systems.
His research interests emphasize formal methods in computer science, concurrency theory, parallel algorithms, and embedded systems design. He has contributed to advancing methodologies for software quality assurance and system reliability through formal specifications and automated verification techniques. Recent work includes efficient synchronization mechanisms for object-oriented programming languages and formal development of delay-tolerant multicast protocols for wireless sensors.
Dr. Sekerinski has organized and participated in major conferences such as FMTea'24 (Co-Chair) and ICTAC'24 (Program Committee). His teaching includes advanced courses like CAS 781 Advanced Topics: Advanced Compiler Design and Optimization and SFWR ENG 3BB4 Concurrent System Design. He maintains an active presence in academic outreach through LinkedIn, Instagram, and other platforms.
His work bridges theoretical foundations with practical applications, including environmental sensor data analysis and holistic embedded system development. Despite no explicit mention of awards, his contributions to formal methods education and research are widely recognized in his field.
