<h2>BIO</h2>
I am a Reader (Associate Professor) and EPSRC Advanced Research Fellow (EP/E059600/1) in Informatics at the University of Edinburgh. I'm a member of the <a href="http://www.lfcs.inf.ed.ac.uk/">Laboratory of Foundation of Computer Science</a> (LFCS) and <a href="http://www.quisco.org.uk/">Quantum Information Scotland</a> Network (QUISCO). I'm on leave from CNRS, Laboratoire d'Informatique de Grenoble.

<h2>RESEARCH</h2>
I am interested in all aspects of Quantum Information at the Physics - Computer Science Interface. In particular I'm working on Models of Quantum Computing, Quantum Cryptography and Quantum Interactive Proof System. 

<h2>Group</h2>

Vedran Dunjko (post-doc) <br>

Einar Pius (Ph.D. studnet) <br>

Theodoros Kapourniotis (Ph. D. student) <br>  

Leonardo Disilvestro (Master student) <br>

Martin Marinov (Undergrad Project student) <br>

<h2>BOOK CHAPTERS</h2>

Extended Measurement Calculus, Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix, In Semantic Techniques in Quantum Computation, Edited by Simon Gay, Ian Mackie, Cambridge University Press, 2009.<br>


Measurement-based and Universal Blind Quantum Computation, Anne Broadbent1, Joseph Fitzsimons, Elham Kashefi, In Formal Methods for Quantitative Aspects of Programming Languages, Edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky, LNCS, 2010.<br>


<h2>PUBLICATIONS</h2>

<p><a href="http://arxiv.org/find/quant-ph/1/au:+Kashefi/0/1/0/all/0/1"> all my papers available on the arxiv server</a></p>

QMIP = MIP*, Anne Broadbent, Joseph Fitzsimons, Elham Kashefi, submitted to FOCS 2010.<br>

Closed time-like curves in measurement-based quantum computation, Raphael Dias da Silva, Ernesto F. Galvao, Elham Kashefi, submitted to Phys. Rev. Lett. 2010.<br>

Ancilla-Driven Universal Quantum Computation, Janet Anders, Daniel K. L. Oi, Elham Kashefi, Dan E. Browne, Erika Andersson, submitted to Phys. Rev. Lett. 2009.<br>

Computational depth complexity of measurement-based quantum computation, Dan E. Browne, Elham Kashefi, Simon Perdrix, In Proceeding of the Fifth Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2010), Leeds 2010. <br>

Information Flow in Secret Sharing Protocols, Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix, In Proceeding of the Fifth Workshop on Developments in Computational Models (DCM 2009), EPTCS, Volume 9, Pages 87-97, 2009.<br>

Twisted graph states for ancilla-driven quantum computation, Elham Kashefi, Daniel K. L. Oi, Daniel E. Browne, Janet Anders, Erika Andersson, In Proceeding of the 25th Conference on the Mathematical Foundations of Programming Semantics (MFPS 25), ENTCS, Volume 249, Pages 307-331, 2009.<br>

Universal blind quantum computation, Anne Broadbent, Joseph Fitzsimons, Elham Kashefi, In Proceedings of the 50th Annual Symposium on Foundations of Computer Science
(FOCS 2009), Pages 517--527, 2009.<br>

Programmable Hamiltonian for one-way patterns, Sina Salek, Fatemeh Seifan and Elham Kashefi, In Proceeding of the 6th Workshop on Quantum Physics and Logic (QPL 2009), Oxford, 2009. <br>

Quadratic Form Expansions for Unitaries, Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Roetteler, In Proceeding of the Third Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2008), LNCS, Volume 5106, Pages 29-46, 2008. <br>

Parallelizing Quantum Circuits, Anne Broadbent, Elham Kashefi, Theoretical Computer Science, Volume 410, Issue 26, 2009.<br>

The Measurement Calculus, Vincent Danos, Elham Kashefi, Prakash Panangaden, Journal of the ACM, Volume 54, Issue 2, 2007.<br>

Generalized Flow and Determinism in Measurement-based Quantum Computation, D.E. Browne, E. Kashefi, M. Mhalla, S. Perdrix, New Journal of Physics, Volume 9, Issue 250, 2007.<br>

A direct approach to fault-tolerance in measurement-based quantum computation via teleportation, Marcus Silva, Vincent Danos, Elham Kashefi, Harold Ollivier, New Journal of Physics, Volume 9, Issue 192, 2007.<br>

Statistical Zero Knowledge and quantum one-way functions, Elham Kashefi, Iordanis Kerenidis, Journal of Theoretical Computer Sience, Volume 378 , Issue 1, 2007. <br>

Distributed measurement-based quantum computation, Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden, ENTCS, Volume 170, Pages 73-94, 2007.<br>

Pauli Measurements are Universal, Vincent Danos, Elham Kashefi,  ENTCS, Volume 170, Pages 95-100, 2007. <br>

Lost in Translation, E. Kashefi, In Proceeding of the Third International Workshop on Development of Computational Models (DCM 2007), Wroclaw 2007.<br>

Phase map decompositions for unitaries, Niel de Beaudrap, Vincent Danos, Elham Kashefi, arXiv:quant-ph/0603266, 2006.<br>

Determinism in the one-way model, Vincent Danos, Elham Kashefi, Phys. Rev. A., Volume 74, 2006.<br>

The One Way to Quantum Computation, In Proceeding of the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), LNCS, Volume 4052, 2006. <br>   

Robust and parsimonious realisations of unitaries in the one-way model, Vincent Danos, Elham Kashefi, Prakash Panangaden, Phys. Rev. A, Volume 72, 2005.<br>

On the Complexity of Quantum Languages, Elham Kashefi, Carolina Moura Alves, arXiv:quant-ph/0404062, 2004.<br>

Quantum Domain Theory - Definitions and Applications, Elham Kashefi, In Proceeding of The International Conference on Computability and Complexity in Analysis (CCA03), Cincinnati 2003.<br>

Uniqueness of Entanglement Measure and Thermodynamics, Vlatko Vedral, Elham Kashefi, Phys. Rev. Lett., Volume 89, 2002.<br>

On quantum one-way permutations, Elham Kashefi, Harumichi Nishimura, Vlatko Vedral, Quantum Info. Comp., Volume 2, Issue 379, 2002.<br>

A Comparison of Quantum Oracles, Elham Kashefi, Adrian Kent, Vlatko Vedral, Konrad Banaszek, Phys. Rev. A, Volume 65, 2002.<br>