IST

Fall Semester 2024/25

• Analysis and Synthesis of Algorithms

Fall Semester 2023/24

• Software Specification (Symbolic Execution lab class)

Spring Semester 2022/23

• Distributed Systems

Fall Semester 2022/23

• Forensics Cyber-Security
• Operating Systems