Elham Kashefi
Total Page:16
File Type:pdf, Size:1020Kb
CURRICULUM VITAE Elham Kashefi School of Informatics, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB [email protected] Nationality: British and Iranian Work Experience 2008 - Present School of Informatics, University of Edinburgh Reader (Associate Professor) 2011 - Present Telecome ParisTech Maitre de Conférences Associé (Affiliated Associate Professor) 2008 - 2013 Engineering and Physical Sciences Research Council (EPSRC) Advance Research Fellow 2007 - 2008 Laboratoire d'Informatique de Grenoble, CNRS (Now on Leave) CR1 - Senior Researcher June 03 – Sep 07 Christ Church College, Oxford University, UK Junior Research Fellow in Quantum Information Theory Computing Laboratory and Centre for Quantum Computation March 06 – March 07 Massachusetts Institute of Technology, US Visiting Scientist (a joint position with the above college fellowship) Department of Theoretical Physics Jan 05 – Jan 06 Institute for Quantum Computing, University of Waterloo, Canada Post-doctoral Fellow in Quantum Information Theory Department of Mathematics 1999 – 2003 Imperial College, London, UK Research Assistant in Programming Language Theory Group (Department of Computing) and Quantum Information and Optics Group (Department of Physics) Education 1999 – June 03 Imperial College, London, England PhD in Computer Science (Viva date: August 2003) Supervisor: Prof. Vlatko Vedral Thesis Title: Complexity Analysis and Semantics for Quantum Computing 1996 – 1998 Sharif University of Technology, Tehran, Iran MSc in Applied Mathematics (Viva date: December 1998) Thesis Title: Combinatorial Game Theory, Supervisor: Prof. Ebad Mahmoodian 1991 – 1996 Sharif University of Technology, Tehran, Iran BSc in Applied Mathematics and Computer Science Major Research Interests Verification of Quantum Technology Quantum Interactive Proof Systems Delegated Quantum Computing Implementation of Quantum Protocols Foundation of Quantum Mechanics Quantum Parallel Computing New Models for Quantum Computing Research Grants Feasable Quantum Verification - Lockheed Martin (PI) Networked Quantum Information Technology - EPSRC Quantum Technology Hub, (Associate Director) EPSRC Advanced Fellowship, 2008 - 2013 (PI) The Carnegie Trust for the Quantum Information Scotland (QUISCO) Network, 2008 - 2012 (co-PI) Royal Academy of Engineering Distinguished Visiting Fellowship, 2008 (PI) The Strategic French (CNRS) - Japanese (JST) Cooperative Program on “Quantum Computation: Theory and Feasibility”, 2008 - 2011 (co-PI) The European project on foundational structures for quantum information and computation, 2007 - 2010 (Member) The EPSRC Network on Semantics of Quantum Computation, 2006 - 2009 (Member) Supervision Ph.D Thesis on Quantum Verification, T. Kapourniotis, University of Edinburgh, Sep 2012 - Present Ph.D Thesis on Quantum Depth Complexity, E. Pius, University of Edinburgh Sep 2010 - Present Master Project on Entanglement and Verification, A. Gheorghiu, University of Edinburgh, 2013 - Present 4th year Project on Distributed Blind Quantum Computing, P. Fulop, University of Edinburgh, 2013 - Present 4th year Project on MBQC simulator, M. Marinov, University of Edinburgh, 2012 Master Project on Topological MBQC, L. Disilvestro, University of Edinburgh, 2012 Master Thesis on On Blind Quantum Computing Protocols, T. Kapourniotis, University of Edinburgh, 2012 Summer Project on Topological Quantum Computing, L. Disilvestro, University of Edinburgh, 2012 Ph.D Thesis on Ideal quantum protocols in the non-ideal physical world, V. Dunjko, University of Edinburgh/Heriot-Watt University, 2009 - 2012 Master Thesis on Quantum Parallelism, E. Pius, University of Edinburgh, 2010 Summer Project on Classicality in Quantum Computing, F. Cipcigan, University of Edinburgh, 2010 Senior Honours Project on Diagnosing Optical Implementations of Quantum Computing, Flaviu Cipcigan, 2010 (Finalist, one of three in Physics in the whole of Europe, for Science and Technology student of the year Award for this project) Master Thesis on Adiabatic Quantum Computing, Michael Crogan, Oxford University, 2006 Summer Project on Quantum Random Walk, Lana Sheridan, Oxford University, 2005 Teaching Invited Lecturer for Ecole de printemps, Quantum Physics and Computer Science, France, 2014 Lecturer (full term) for Introduction to Quantum Computing, University of Edinburgh, 2013 Invited Lecturer for Quantum Algorithm and Complexity, Imperial College, Doctoral Training Center, 2011 Invited Lecturer for the10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Italy, 2010 Lecturer (full term) for the LFCS Advanced Course on Models of Quantum Computing University of Edinburgh, 2009 Lecturer on MBQC and Information Flow, Quantum Information Scotland Network, 2008 Invited Lecturer for the International Summer School on Quantum Information, Iran, 2008 Lecturer for Quantum Information Theory Course, Christ Church College, Oxford University, 2006 Invited Lecturer for Quantum Algorithms and Complexity, University of Tokyo, Japan, 2005 Invited Lecturer for Quantum, Atomic and Molecular Physics Summer School, Open University, UK, 2003 Administrative Founder of ParisTech (Paris Institute of Technology) - Informatics (University of Edinburgh) cooperation initiative 2012 Co-Founder of Quantum Information Scotland Network (QuiSco), 2008 – Present Co-Founder of Quantum Information Oxford University and Imperial College Network (QuOxIc), 2003 – 2005 Membership of Societies The first group elected to the Young Academy Scotland (Royal Society of Edinburgh) 2011 The Engineering and Physical Sciences Research Council (EPSRC) College 2012 The Athena SWAN committee since 2012, University of Edinburgh Membership of Committees Program Committee of the 10th Conferance on Computability in Europe 2014 Program Committee of the XVII Conference on Quantum Information Processing (QIP 2014) Chair and Program Committee of the first workshop on Parallel Quantum Computing (ParQ 2013) Organising committee for the Quantum Theory - Experiment Workshop at the International Institute of Physics, Brazil, 2013 Co-Chair of the seventh Workshop on Developments in Computational Models (DCM 2011) Program Committee of the fifth and sixth Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC, 2010 and 2011) Program Committee of the second and Third International Iran Conference on Quantum Information (IICQI- 2010 and 2012) Organizing Committee of the First Quantum Information Paris (QUPA) - Quantum Information Scotland (QUISCO) network meeting Organizing Chair and Program Committee member of the sixth Workshop on Developments in Computational Models (DCM 2010) Organizing Committee for the Third Quantum Network Workshop, 2009 Invited Speaker Challenges and Trends in Probabilistic Programming, Dagstuhl, 2015 EuroScience Open Forum, Copenhagen, June 2014 The Thirtieth Conference on the Mathematical Foundations of Programming Semantics, Ithaca, June 2014 Conference in honour of Prakash Panangaden 60th birthday, Oxford, May 2014 Post-Quantum Research, Identifying Future Challenges and Directions, Turning Gateway to Mathematics, Cambridge, May 2014 Quantum Logic Workshop, Amsterdam, Netherlands, April 2014 Quantum Information and Measurement Conference, Berlin, Germany, March 2014 Quantum Games and Protocols, Simons Institutes for Theory of Computing, Berkeley, US, February 2014 Lec Probabilismes, Cournot Centre, Paris, France, January 2014 Nordic Cloud and Mobile Security Forum, Sweden, 2013 Colloquium Jacques Morgenstern, INRIA Sophia Antipolis, France, 2013 Quantum Technology Workshop, Engineering and Physical Sciences Research Council, UK, 2013 Debating Conference on Quantum Computing, French Academy of Sciences, France, 2013 Women in Science and Engineering Workshop, University of Edinburgh, UK, 2013 Quo Vadis Quantum Physics? The International Institute of Physics, Brazil, 2013 Royal Society International Scientific Seminar, UK, 2012 Topical Research Meetings on Physics, Institute of Physics, UK, 2012 Turing Research Symposium, Royal Society of Edinburgh, UK, 2012 Logic and interactions CRIM, France, 2012 Quantum Information Science Workshop, UK, 2012 Isaac Newton Institute workshop on "The Incomputable", UK, 2012 Logic and interactions, CRIM, France, 2012 Computability in Europe Conference, Bulgaria, 2011 Dagstuhl Workshop on Quantum Cryptanalysis, Germany, 2011 Quantum Computer Science workshop, Canada, 2011 The 17th Central European Workshop on Quantum Optics, UK, 2010 McGill-Bellairs Research Institute workshop on Information Theory, Quantum Mechanics and Security, Barbados, 2010 Workshop on Distributed Quantum Computing, Italy, 2010 Physics Colloquia at the Heriot Watt University, UK, 2010 The International Conference on Quantum Information and Technology, Japan, 2009 Studia Logica International Conference, Logic and the foundations of physics, Belguim, 2009 Workshop on "Foundational Structures for Quantum Information and Computation", Austria, 2008 The second International Quantum Information School and Workshop, Brazil, 2007 The first International Iran Conference on Quantum Information, Iran, 2007 CATS, KETS AND CLOISTERS Workshop, UK, 2006 Workshop on Theory of Quantum Computation, Communication, and Cryptography, Japan, 2006 Quantum Information, Computation and Logic Workshop, Perimeter Institute, Canada, 2005 McGill-Bellairs Research Institute workshop on Logical and Semantical Methods in Quantum Computation, Barbados, 2004 The first Workshop on the Thermodynamics