Rate My Professor Emil Sekerinski

Professor Emil Sekerinski serves in Computer Science at McMaster University as a Professor in the Department of Computing and Software. His academic background includes a Pre-diploma in Computer Science from Universität Stuttgart (October 1982 to April 1985) with a minor in linguistics, a Diploma in Computer Science from Universität Karlsruhe (April 1985 to March 1989) with a thesis entitled “Verification of an Assembler for the MC 68000 Processor” supervised by Prof. Dr. G. Goos, and a Dr. rer. nat. from Forschungszentrum Informatik, Karlsruhe, Germany (April 1989 to December 1994), where he defended his thesis “Refinement in Object-Oriented Program Construction” in December 1994 under Prof. Dr. G. Goos at Universität Karlsruhe.

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.