Emil Sekerinski

Associate Professor
Undergraduate Advisor for Computer Science and Business Informatics

Undergraduate students seeking advice, please read this before contacting me:

• If you are a high school or continuing student and have questions about admission to Computer Science, Year 1, please see the pages of the Office of the Registrar and contact them if you have further questions; all admission is done through the Office of the Registrar.
• If you have questions about the Software Engineering or Mechatronics programs or about courses of those programs, please contact Dr. Khedri, Associate Chair, or Dr. von Mohrenschildt, Department Chair.
• If you need permission for a Comp Sci course, send me a message by e-mail with your student number, program, level, and the reason why you need a course permission.
• If you want to register for a Comp Sci course that is full but required for your program, contact , Departmental Administrator, with course number and your name, student id, and program.
• If you want to transfer to Computer Science or Business Informatics, you have to request that at the Associate Dean's Office, Academic.
• If you have questions about Comp Sci courses or the Computer Science and Business Informatics programs, or need advice about course selection, drop by or give me a call. Do not leave a message on the answering machine. My office hours are:
  • Tuesdays, 2 pm - 4 pm, ITB 215

• Member of the Software Quality Research Laboratory

Courses 2009/10

• COMP SCI 1MA3, fall term
• COMP SCI 2CA3 / SFWR ENG 3GA3, fall term
• COMP SCI 4TB3/6TB3 Compiler Construction, winter term

Some Previous Courses

• COMP SCI 2O03 Object-Oriented Programming, winter term 08/09
• CAS 703 Software Design, winter term 08/09
• SFWR ENG 3BB4 Software Design III - Concurrent System Design, winter term 07/08
• CAS 754 Programming Methodology, winter term 07/08
• COMP SCI 3EA3 Software Design II, fall term 06/07

Research Interests

• Design of Reliable Programs by Mathematical Specification and Development Techniques
• Object Orientation: Specification, Design, Concurrency, Components
• Concurrency, Reactive and Embedded Systems
• Programming Languages and Programming Tools

Some Talks

• Teaching the Unifying Mathematics of Software Design, WCCCE 09, April 2009
• Verifying Statecharts with State Invariants, ICECCS 08, June 2008
• Lime: An Action-Based Concurrent Object-Oriented Programming Language,
  IFIP Working Group 2.3 (Programming Methodology), Niagara Falls, June 2005
• Exploring Tabular Verification and Refinement, McMaster University, September 2004

Current Professional Activities

• Program Committees: ICECCS 2009, ABZ 2010, ICTAC 2010, FM 2009, IM_FMT'2009, B: Research to Teaching, SEW-33
• Organizing Committees: FM Doctoral Symposium 09 (Co-chair)

Current Projects

• Lime: an object-oriented programming language with action-based concurrency
• iState: a tool for translating statecharts to programs

Current Graduate Students

• Upasana Pujari (M. Sc.)
• Xiao-lei Cui (M. Sc.)
• Wessam Gad El-Rad (M. Sc.)
• Gary Gao (M. Eng.)
• David Kelk (M. Sc.)
• Bojan Nokovic (Ph. D.)
• Eden Burton (Ph.D.)
• Joshua Moore-Oliva (M. Sc.)
• Tian Zhang (Ph. D.)

Publications

Personal Data

Last update 7 October 2009.