Recent Courses

• COMP SCI 3TB3/4TB3/6TB3 Syntax-based Tools and Compilers, Winter 22/23
• CAS 707, Formal Specification Techniques, Winter 22/23
• SFWR ENG 3BB4 Concurrent System Design, Fall 22/23
• CAS 766 Concurrent Programming, Winter 21/22
• CAS 703 Software Design, Fall 18/19
• COMP SCI 1MD3 Introduction to Programming, Winter 16/17
• COMP SCI 2GA3 / SFWR ENG 2GA3 Computer Architecture, Fall 15/16
• COMP SCI 2I03 / SFWR ENG 3I03 Communication Skills, Fall 13/14
• COMP SCI 1MA3 Computer Based Problem Solving, Fall 10/11
• COMP SCI 2OO3 Object-Oriented Programming, Winter 08/09

Recent Publications, Talks

• Sekerinski, E. re:mote – Low-cost Software and Hardware Infrastructure for Water Quality Sensing in Indigenous Communities, Talk at MacWater Meeting, October 2022, McMaster Univeristy.
• Guo, B. and Sekerinski, E. Efficient parallel graph trimming by arc-consistency, The Journal of Supercomputing, April 2022.
• Fadhel, M. and Sekerinski, E. Striffs: Architectural component diagrams for code reviews, ICCQ 2021.
• Sekerinski, E. Programming in the Multi-Core Era, Revised 2020, talk first given at CAS 20 Years Celebration.
• Sekerinski, E. Teaching Concurrency with the Disappearing Formal Method, FMTea 2019
• Park, S. and Sekerinski, E. A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper), F-IDE 2018.
• Fadhel, M., Sekerinski, E., and Yao, S. A comparison of time series databases for storing water quality data, IMCL 2018.
• Sekerinski, E., and Yao, S. Refining Santa: An exercise in efficient synchronization, Refine 2018.

Recent Conferences

• FMTea'23 (Program Committee)
• iFM’22 (Program Committee + Steering Committee)
• SEW-41 / IWCPS-8 (Program Committee)
• FM'19 (Workshop Co-Chair + Proceedings Co-Editor)
• Refine 2019 (Program Committee)

Software Repositories

• Course Notes on Software Design