Master in Next-Generation Computing - AI and Formal Methods for Cybersecurity

This Master in Next-Generation Computing track pairs artificial intelligence, formal methods and post-quantum cryptography to tackle current and emerging cybersecurity threats. AI techniques are used to spot sophisticated attacks before they cause damage, formal methods are applied at the system-design stage to catch vulnerabilities early, and post-quantum cryptography prepares graduates to secure systems once quantum computing becomes practical, with teaching drawn from AGU faculty and international partner universities. The two-year, thirty-six-credit-hour program is spread across four semesters of nine credit hours each, with the final semester built around a thesis. Graduates come away able to analyse AI- and formal-methods-based approaches to system security, design and evaluate cybersecurity architectures and defences, and weigh the ethical, legal and societal questions raised by AI and cybersecurity work. The track is aimed at graduates in computer science, computer engineering or applied mathematics, as well as working cybersecurity professionals.