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 :