FormalMethods-Formal specification and verification of systems
year
2025
semester_course
spring
Technical Teaching
technical
Code
technical
Computational Methods for digital communications
Teacher
year
2025
semester_course
spring
Imaging Security
Teacher
year
2025
semester_course
spring
Digital systems, hardware - software integration
Teacher
year
2025
semester_course
spring
Cyber-crime and Computer Forensics
Teacher
year
2025
semester_course
spring
Algorithmic Machine Learning
Teacher
year
2025
semester_course
spring
Advanced Statistical Inference
Teacher
year
2025
semester_course
spring
