Graduate Third Year Course

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 Electrical Engineering

Research