Master of Science in
Next-Generation Computing
Combines AI, formal methods, and quantum-safe cryptography for modern cybersecurity.
The program offers an innovative academic approach that integrates advanced Artificial Intelligence (AI) technologies, formal methods, and post-quantum cryptography to address modern cybersecurity challenges.
AI enables the proactive detection of sophisticated cyber threats, while formal methods help ensure that critical systems are free from security vulnerabilities at the design stage. In addition, post-quantum cryptography supports preparedness for the emerging era of quantum computing, ensuring long-term security and resilience.
Combines AI, formal methods, and quantum-secure cryptography to address modern cybersecurity challenges.
Applies formal methods in system design to build secure systems and reduce vulnerabilities early in development.
Taught by expert professors from AGU and leading international universities.
Uses artificial intelligence to detect and prevent cyber threats proactively.
Prepares students for future cybersecurity challenges, including quantum-era security threats.
Curriculum
Structure
first year
18 Credits
Second year
18 Credits
Thesis
9 Credits
Credit Requirement
Semester 1
9 Credits
Semester 3
9Credits
Semester 2
9 Credits
Semester 4 - Thesis
9 Credits
Target
Audience
Graduates in
Computer Science
Graduates in
Computer Engineering
Graduates in
Applied Mathematics or Related Fields
Cybersecurity
Cybersecurity Professionals
Research
Areas
Artificial Intelligence for Cybersecurity
Formal Methods for Cybersecurity
Post-Quantum Cryptography
Study Plan
Explore the complete list of courses
LEarning
& Research facilities
Computer Labs
LEarning
Outcomes
Understand computer science foundations, research methods, and communication skills.
Analyze AI and formal methods for enhancing system security.
Demonstrate cybersecurity architectures, threats, and defense strategies in depth.
Identify and evaluate ethical, legal, societal issues in AI and cybersecurity.