Vision
Pioneering next generation cybersecurity through a combination of artificial intelligence and formal methods.
Mission
To provide high-quality graduate education and research environment in artificial intelligence and formal methods applied to cybersecurity, train qualified experts, and produce innovative research to face future challenges in this critical field.
Program Objectives
The program’s main objective is to provide students with the following skills:
- Advanced design and implementation of safe, intelligent, AI-driven systems.
- Advanced usage of formal methods for the verification of safety and security critical systems.
- Conduct innovative applied research in cybersecurity to meet the GCC countries’ needs and provide solutions to regional private and public institutions.
Career Opportunities
Upon completion of the Master’s program, graduates can embrace expert careers as:
- Analyst and developer of advanced computer science applications, particularly in cybersecurity, AI and formal verification of safety and security critical systems in a variety of private and public industrial and services fields.
- Academic and research careers in GCC and other universities and research centers.
| Common Courses | Credit Hours |
| Logic and Discrete Mathematics | 2 |
| Foundations of Computer Science | 2 |
| Artificial Intelligence Fundamentals | 2 |
| Object Oriented Programming and Data Analysis | 2 |
| Research Methodology | 1 |
| Core Courses | Credit Hours |
| Cybersecurity Fundamentals | 2 |
| Artificial Intelligence for Information Security | 2 |
| Formal Methods for Information Security | 2 |
| Ethical Hacking and Systems Defense | 1 |
| Elective Courses | Credit Hours |
| Security Engineering | 1 |
| Security of Wireless Networks | 1 |
| Web Application Security | 1 |
| Cyber Risk Management and Incident Response | 1 |
| Secure Cloud Computing | 1 |
| Security Aspects of Internet of Things | 1 |
| Cyber Criminality and Forensics | 1 |
| Information Security Audit and Penetration Testing | 1 |
| Blockchain Security | 1 |
| Program Analysis for System Security and Reliability | 1
|
| Big Data | 1 |
| Advanced Deep Learning | 1 |
| Special Topics Elective | 1 |
| Research-Oriented Projects | Credit Hours |
| Seminar | 1 |
| Applied Research Project | 4
|