Hadi Larijani, Professor of Computer Networks and Intelligent Systems in the University’s Department of Computing, will deliver his inaugural Professorial Lecture on March 26. In his lecture, Professor Larijani will help the audience make sense of Artificial Intelligence (AI) by explaining how we use it in everyday life and what the future looks like. He will also reveal how his AI research at GCU is helping to change people’s lives for the better – not just here in Scotland – but in developing countries like Rwanda, as part of the University’s Common Good goals.
Ebrahim Ardeshir-Larijani has passed his PhD viva and his thesis has been approved, subject to minor corrections. His thesis is titled “Automated Equivalence Checking of Quantum Information Systems”. Quantum information processing is an emerging technology and verification of quantum protocols is important for the design and development of quantum communication and cryptographic systems. Ebrahim’s thesis presents languages (sequential and concurrent) for describing quantum systems and techniques for checking equivalence. The work has resulted in two joint papers (with Simon Gay and Rajagopal Nagarajan) in good conferences, TACAS 2013 and TACAS 2014.
