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.  

Study Plan