One of the videos we produced for Cybersecurity Master studies at the Arabian Gulf University in Bahrain
Year: 2023
bMedia Bahrain Video Production and Animation
Producer: Vivian Pinto
Director: Slobodan Milivojevic Bobansky
DP: Unni
Camera assistant: Arif Feroze
Grip: Vishnu Pillai, Michael Worku
Edit/Grade: Ahmed Akbar
Screen graphics: Karel Schmidt
Motion Graphics: Touseef Ahmed
VFX: Ivan Jevremovic
Sound: Vishnu Pillai
********
Bringing Next-Generation Computing to the next generation of computing experts!
Artificial Intelligence and Formal Methods for Cybersecurity is a distinguished graduate programme in the field of cybersecurity. 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
Program Objectives:
• 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
Admission Requirements
Applicants seeking admission to a master's degree program should have obtained the following: