pen Admission
Track: Artificial Intelligence and Formal Methods for Cybersecurity
The Master of Science in Next-Generation Computing is a master's program that includes three tracks: Artificial Intelligence and Formal Methods for Cybersecurity; Artificial Intelligence in Medicine and Healthcare; and Quantum Technology. This exciting new program will be taught by highly qualified and experienced professors from top-ranked universities.
The track of this program in Artificial Intelligence and Formal Methods for Cybersecurity is distinguished from other classic graduate programmes in the field of cybersecurity as it offers an innovative academic approach that combines the advanced techniques of artificial intelligence and formal methods. Thus, it progresses into the next level of cybersecurity which is required to face the increasing size and sophistication of cyberattacks. Indeed, artificial intelligence helps security operations analysts to be proactive against threats. Furthermore, formal methods have become well established as powerful techniques to demonstrate the absence of security vulnerability allowing for the construction of highly secured protocols and critical systems.
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.