Rate My Professor Emil Sekerinski

Prior to McMaster University, where he joined as Assistant Professor in July 1997, promoted to Associate Professor in August 2003, and subsequently to Professor, Sekerinski was a researcher at TUCS in Turku, Finland (April 1995 to August 1996) and Acting Associate Professor in the Computer Science Department (now Department of Information Technologies) at Åbo Akademi (January 1997 to July 1997). He has undertaken visiting positions at TU Dresden (August–September 2011), ETH Zurich (October–December 2003), and TU Munich (August–September 2003). His expertise areas include programming logic with verification and refinement, concurrency involving components and implementation, embedded systems modelling and analysis, object-oriented program construction, refinement in programming, verification of assemblers, and computer science education. Key publications encompass "Refining Concurrent Objects" (Büchi and Sekerinski, 2000), "Teaching the Unifying Mathematics of Software Design" (Sekerinski, 2009), "Efficient Parallel Graph Trimming by Arc-Consistency" (Guo and Sekerinski, 2022), "Democratizing Real-Time Water Quality Monitoring" (Sekerinski and Zhou, 2023), "Simplified Algorithms for Order-Based Core Maintenance" (Guo and Sekerinski, 2024), and "An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language" (Yao and Sekerinski, 2025). Sekerinski teaches courses such as COMPSCI 2SD3 Concurrent Systems, COMPSCI 3TB3 Syntax-based Tools and Compilers, CAS 707 Formal Specification Techniques, and CAS 781 Advanced Compiler Design and Optimization.