Teaching

B.Sc. Courses

• • Discrete Structures (SFTW110)
  • Algorithms and Data Structures I (SFTW111)
  • Algorithms and Data Structures II (SFTW210)
  • Formal Language and Automata (SFTW223)
  • Special Topics in Computer and Information Science I (SFTW373)
  • Project (SFTW496)

M.Sc. Courses

• • Operating Systems and Concurrent Programming (IMSS003)
  • Formal Methods in Software Engineering (IMSS009)
  • Computer Sciences Seminars (IMSS005)
  • Thesis (IMSS999)