The courses for the academic year of 2021-2022 are listed as the following:
2021 Autumn Term
Introduction to Formal Verification
Parallel Computing
Seminar in Computer Engineering
Research
2022 Spring Term
Compiler Design
Advanced Operating System
Seminar in Computer Engineering
Research