Teaching

I teach undergraduate and graduate courses in software engineering, with a focus on software development, requirements engineering, formal methods, software quality, validation, and testing. Courses I have taught include:

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