Faculty of Computer Science
Academic Year 2020-2021
Master studies in Advanced Studies in Computer Science Year 1 (class 2020-2022)
Semester 1
Compulsory courses
Exploratory Research 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP Optional courses: 3 out of 28
MSAI1101O1 Experimental Analysis of Algorithms 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O2 Web Application Development 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O3 Digital Processing of Images 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP
MSAI1101O4 Software Security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O5 Advanced Software Engineering Techniques 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O6 Java Technologies 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O7 Hardware cryptography 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O8 Security of Electronic Commerce 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O9 Belief Logics in Information Security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O10 Semantics and Pragmatics of Natural Language 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O11 Introduction to Machine Learning 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O12 Advanced Topics in Neural Networks 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O13 Special Chapters on Artificial Intelligence 7.5 ECTS C: 2 S: 2 L: 0 Ex: EVP
MSAI1101O14 Operational Research 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O15 Formal Methods in Software Engineering 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP
MSAI1101O16 Reverse Engineering 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O17 Blockchain - foundations and applications 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O18 Automated and Interactive Reasoning 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O19 Operating System Security and Malicious Systems 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O20 Distributed Operating Systems 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O21 Advanced techniques in cryptography 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O22 Cryptanalysis 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O23 Wireless and Mobile Security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O24 Computational Lexicology, Morphology and Syntax 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O25 Applications of natural language processing 7.5 ECTS C: 2 S: 2 L: 0 Ex: EVP
MSAI1101O26 Quantum Computing 7.5 ECTS
C: 2 S: 0 L: 2 Ex: EVP
MSAI1101O27 Calculaibility, Decidability, and Complexity 7.5 ECTS C: 2 S: 2 L: 0 Ex: EVP
MSAI1101O28 Machine Translation 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E Semester 2
Compulsory courses
Formal Research I 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP Optional courses: 3 out of 17
MSAI1201O1 Pragmatic Aspects in Engineering of Cloud Systems 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1201O2 Software Quality 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O3 Computer Vision 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP
MSAI1201O4 Nature Inspired Methods 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O5 Security Protocols. Modelling and Verification 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1201O6 Distributed System Specification and Verification 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1201O7 System specification and verification 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O8 Advanced Topics of Machine Learning 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O9 Data Mining 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O10 Models of Distributed Systems 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O11 Concurrent and Distributed Programming 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O12 Event-based Systems 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O13 Big Data Analytics 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O14 Security models 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O15 Network security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1201O16 Introduction to computational linguistics 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1201O17 Statistical Natural Language Processing 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
Year 2 (class 2019-2021)
Semester 1
Compulsory courses
Formal Research II 7.5 ECTS C: 2 S: 2 L: 0 Ex: EVP
Optional courses: 3 out of 27
MSAI2101O1 Experimental Analysis of Algorithms 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O2 Web Application Development 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O3 Digital Processing of Images 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP
MSAI2101O4 Software Security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O5 Advanced Software Engineering Techniques 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI2101O6 Java Technologies 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O7 Hardware cryptography 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O8 Security of Electronic Commerce 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O9 Belief Logics in Information Security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O10 Semantics and Pragmatics of Natural Language 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI2101O11 Virtual assistents 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O12 Advanced Topics in Neural Networks 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O13 Special Chapters on Artificial Intelligence 7.5 ECTS C: 2 S: 2 L: 0 Ex: EVP
MSAI2101O14 Operational Research 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI2101O15 Formal Methods in Software Engineering 7.5 ECTS
C: 2 S: 2 L: 0 Ex: EVP
MSAI2101O16 Reverse Engineering 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O17 Blockchain - foundations and applications 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O18 Automated and Interactive Reasoning 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O19 Operating System Security and Malicious Systems 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O20 Distributed Operating Systems 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O21 Big Data Analytics 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O22 Advanced techniques in cryptography 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O23 Cryptanalysis 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O24 Wireless and Mobile Security 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E
MSAI1101O25 Computational Lexicology, Morphology and Syntax 7.5 ECTS C: 2 S: 2 L: 0 Ex: E
MSAI1101O26 Applications of natural language processing 7.5 ECTS C: 2 S: 2 L: 0 Ex: EVP
MSAI1101O27 Machine Translation 7.5 ECTS
C: 2 S: 2 L: 0 Ex: E Semester 2
Compulsory courses
MISS2205 Ethics and academic integrity 5 ECTS
C: 1 S: 0 L: 0 Ex: EVP
MISS2206 Professional/Research Practice 12 ECTS
C: 0 S: 0 L: 6 Ex: EVP
MISS2207 Dissertation Preparing 13 ECTS
C: 0 S: 0 L: 7 Ex: EVP
