Computer science minor 2025-26
Minor : Computer science
Courses
Language
Exam
Credits / Coefficient
Cryptography and security (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
COM-401 / Section SC
EN
Winter session
Written
Written
8
Decentralized systems engineering (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
CS-438 / Section IN
EN
Winter session
Written
Written
8
Formal verification (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
CS-550 / Section IN
EN
Winter session
During the semester
During the semester
8
Information security and privacy (This course will be last given in fall 2025. This course is a "depth" for Cyber Security master program and Cyber Security minor.)
COM-402 / Section IN
EN
Winter session
Written
Written
8
Interactive theorem proving (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
CS-428 / Section IN
EN
Summer session
During the semester
During the semester
8
EN
Winter session
Written
Written
6
EN
Winter/Summer session
During the semester
During the semester
8
EN
Summer session
During the semester
During the semester
6
EN
Summer session
During the semester
During the semester
6
EN
Summer session
Written
Written
8
EN
Winter session
During the semester
During the semester
8
EN
Winter session
During the semester
During the semester
6