• SYSC 4101: Software Validation
• SYSC 3020: Introduction to Software Engineering
• SYSC 4111: Formal Methods in Software Engineering
• SYSC 3120: Software Requirements Engineering
• SYSC 5105: Software Quality Engineering and Management
• SYSC 5807: Advanced Software Testing