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.
Glasgow Caledonian University is making significant strides in entrepreneurship, with successful participation in programmes aimed at nurturing the development and commercialisation of groundbreaking technologies. Under the leadership of Professor Hadi Larijani, Director of the University’s SMART Technology Research Centre, and the dedicated efforts of the Research Innovation Office, the University recently applied to the Scottish Enterprise High Growth Spin Out Programme. This initiative is designed to translate research breakthroughs into commercial ventures, with a particular emphasis on Professor Larijani’s pioneering epilepsy EEG headset technology.
