Ebrahim Ardeshir

I am a PhD student at Computer Science department and member of the Centre for Discrete Mathematics and its Applications (DIMAP). Currently I am working on Quantum information processing, in particular using semantic techniques such as model checking for quantum security 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. You will find more about me and my research on the left links.