Recent Courses

• SFWR ENG 3BB4 Concurrent System Design, Fall 23/24
• COMP SCI 3TB3/4TB3/6TB3 Syntax-based Tools and Compilers, Winter 24/25
• CAS 707, Formal Specification Techniques, Winter 23/24

Recent Publications, Talks

• Sekerinski, E. On Concurrent Program Algebra and Demonic Automata, International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, November 2024. Slides
• Sekerinski, E. On Concurrent Program Algebra and Demonic Automata, International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, November 2024. Slides
• Sekerinski, E. and Zhou, T Formal Development of a Delay-Tolerant Multicast Protocol for Wireless SensorsIFIP International Conference on the Internet of Things, IFIPIoT 2024, November 2024, in press. Slides
• Guo, B. and Sekerinski, E. Simplified Algorithms for Order-Based Core Maintenance, May 2024
• Guo, B. and Sekerinski, E. Parallel Order-Based Core Maintenance in Dynamic Graphs, International Conference on Parallel Processing, ICPP 2023, August 2023.
• Sekerinski, E. and Zhou, T. Democratizing Real-Time Water Quality Monitoring, GWF Finale, May 2023.
• 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

Recent Conferences

• FMTea'24 (Co-Chair)
• ICTAC'24 (Program Committee)
• iFM'24 (Program Committee)
• iFM (Steering Committee)
• SEW-42 / IWCPS-9 (Program Committee)