Skip to main content Skip to navigation

Ebrahim Ardeshir

NEWS : I have passed my Viva on 17 April 2014, (link).

I am a PhD student at Computer Science department and member of the Centre for Discrete Mathematics and its Applications (DIMAP). I am also a visiting postgraduate researcher at the School of Computing of the University of Glasgow.

Currently I am working on Quantum information processing, in particular using semantic techniques such as model-checking and equivalence-checking for verification of quantum cryptography and communication protocols. Before starting my PhD at Warwick, I received a Master degree in Logic and Computation from Swansea University, and a BSc. in Applied Mathematics from University of Tehran. To find out more about my work please refer to :

Quantum Equivalence Checker ©

ipm ut1 






Ebrahim Ardeshir


eardeshir at dcs dot warwick dot ac dot uk