DOCSLIB.ORG

Challenges for Quantum Computer Science & Simulation Workshop Report 1 October 2017

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Challenges for Quantum Computer Science & Simulation Workshop Report 1 October 2017 Challenges for Quantum Computer Science & Simulation Workshop Report 1 October 2017 Summary As developments in quantum computing hardware continue to gather pace worldwide, many research groups are focussing on the ultimate goal of engineering a universal large-scale quantum computer. Keeping pace with these developments and understanding the capabilities of quantum computers will require fundamentally rethinking ‘classical’ computer science, requiring research into new algorithms, programming languages and methodologies for error detection and correction. Recommendation 6 of the ‘Quantum Age’ report 2016 (Government Office for Science) states that: “The National Quantum Technologies Programme should work with the Alan Turing Institute, the Heilbronn Institute for Mathematical Research and wider academia to identify a set of example challenges which, if solved by a quantum computer or quantum simulator, would have important benefits to government, business and citizens.” In response to this, EPSRC held a workshop on “Challenges for Quantum Computer Science and Simulation” bringing together wider academia to discuss the role of quantum computing and simulation in addressing future opportunities and challenges in ICT. Background Steady improvements in information and communication technologies have been a fundamental driver of economic and social change since the 1950s. However, this assumption is now threated by a slowdown in the previously exponential growth in the computing capability (associated with ‘Moore’s law’) together with an exponential growth in data. Quantum computing provides a fundamentally different approach to processing information and has the potential to surpass conventional computers in searching large datasets, factoring large numbers and simulating chemical and biological systems. This raises the prospect of improvements to data analytics, drug development, logistics and materials design; new insight into biological systems; and wide-ranging security implications as common cryptographic approaches are made obsolete. However, the potential for quantum computers to outperform conventional computers is currently unclear beyond a small number of applications. Rapid progress in the realisation of various platforms for producing and manipulating units of quantum information (‘qubits’) has been made in recent years. The UK has a leading position in developing a number of these platforms, drawing on its strong research base and investment made through the UK National Quantum Technologies Programme. While the realisation of large-scale quantum computers remains some way off, many researchers believe that small-scale (50-100 qubit) systems that are capable of complex simulations will be available within a decade. As developments in quantum computing hardware continue to gather pace worldwide, many research groups are focussing on the ultimate goal of engineering a universal large-scale quantum computer. Keeping pace with these developments and understanding the capabilities of quantum computers will require fundamentally rethinking ‘classical’ computer science, requiring research into new algorithms, programming languages and methodologies for error detection and correction. To focus these efforts, and ensure that quantum computing is well-integrated within the wider engineering and physical sciences research landscape, we propose facilitating the identification of specific challenges that would benefit from the development of quantum computers/simulators and have high commercial and societal value to the UK.1 Workshop Objectives and Format On 30 March 2017, EPSRC held a one-day workshop at the Mercure Holland House Hotel, Bristol. In order to encourage the development of a community of practice around the challenges that are identified and encourage new approaches, EPSRC encouraged contributions from a wide range of research disciplines and at different career stages. Attendees were selected on the basis of Expressions of Interest to attend (assessed by EPSRC staff). In addition a number of places were made available to key stakeholders, such as the Alan Turing Institute, Heilbronn Institute, the Quantum Technology Hubs, and EPSRC Quantum Technology Fellows (see Annex 1 for a full list of attendees). The objectives of the workshop were to: • Discuss the role of quantum computing and simulation in addressing future opportunities and challenges in ICT. • Discuss the expertise required to address these challenges and identify areas where further collaborative work is required in order to make progress. • Identify and prioritise specific research challenges that: o could realistically be addressed by envisaged developments in quantum computing and simulation; o will have significant economic and societal value to the UK; o contribute to and/or draw-upon strengths in UK academia, industry and/or government; and o provide a focus to enable stronger working relationships across disciplinary boundaries. 1 This is proposed in recommendation 6 of the recent ‘Quantum Age’ report (2016, Government Office for Science) During the workshop, participants had the opportunity to contribute input via a number of facilitated sessions. These started by considering the requirements of potential users of quantum computing and simulation, and then moved on to explore and develop challenges resulting from the insights gained by considering these user perspectives. This was followed by an opportunity to hear the perspective of 4 speakers who were invited to share their perspective on the current state of the art and likely developments in the field over the next 5 years, as well as offer a general perspective on the role of quantum computing in addressing wider challenges. During the final session, participants had the opportunity to provide further input into the challenges identified earlier in the day (see Annex 2 for further details of the agenda). Workshop Findings In advanced of the meeting, participants were invited to submit a response to the question: ‘what do you think will be the most significant impact resulting from developments in quantum computing and simulation over the next 5 years?’ and perform a clustering of the responses using the Well Sorted online tool (see Annex 3 for full details). At the start of the workshop participants were invited to split into a number of different groups based on the clusters that had been identified. Participants were then asked, within their groups, to consider a scenario from the perspective of a hypothetical user of quantum computing / simulation. The groups interpreted a ‘user’ as a researcher, developer or student based in an academic, industrial or governmental institution. During this first session, the participants were invited to consider the hopes, fears and needs of their hypothetical user(s), and capture any insights arising (summarised in Table 1 below). Hopes Fears • Simple, accessible and affordable • Users do not engage as they are systems that have the capability to waiting for the perfect platform. solve difficult problems. • Platforms robust to noise fail to • An enabler of adventurous research. emerge. • Emergence of platforms which are • Quantum systems do not provide robust to noise. the expected speed boost. • Systems that provide a competitive • Expectations are unrealistically high advantage. and lead to disappointment. • No quantum knowledge required for • Viable supply chains fail to emerge, users. leading to ‘dead ends’ and/or • New algorithms enable what is monopolies. currently impossible. • Software engineering remains • Accept that early hardware will be immature. imperfect and make the most of it. • Privacy concerns inhibit the take-up of quantum systems. Needs Insights • Road-mapping. • There are a wide range of potential • Identify what can’t be done early users and a careful process of on. prioritisation is necessary to focus • Focus on valuable problems that on engaging with groups of users to require a performance edge and accelerate progress. Building those with an appetite for risk. confidence in the nascent • Verification and certification of technology is crucial. performance. • Expectations need to be managed • Abstract away the physics; keep the carefully. The term ‘quantum power. supremacy’ was considered to be a • Demonstrate the possibility of large particular example of unhelpful scale operation. terminology. • Training for potential users. • The development of ‘classical computing’ provides many useful lessons – not least with respect to the emergence of competing platforms - and ‘classical’ and quantum approaches should be seem as complementary. • Quantum as a service/in the cloud is a particularly promising approach. Table 1. Summary of group activity to identify the hopes, fears and needs of hypothetical user(s) of quantum computing/simulations, and related insights. In the final session of the morning the groups of participants were invited to consider the insights they gained during the previous discussion to start exploring potential research challenges by developing and prioritising ‘problem statements’. They were then encouraged to generate and cluster initial ideas for research challenges relevant to the problem statements. Key themes that were addressed by multiple groups at this stage of the workshop included: • Removing barriers to engagement with the wider ‘classical’ computer science and engineering communities, for example by developing toolkits and cloud-based approaches. • Roadmapping as a tool for user engagement, particularly
Load more

Recommended publications
  • Curriculum Vitae
    Curriculum Vitae Vedran Dunjko [email protected] EDUCATION PhD in Physics 2010 { 2012 Heriot-Watt University, Edinburgh, UK. Supervisor: Prof. Dr. E. Andersson, Prof. Dr. G. S. Buller and Dr. E. Kashefi Postgraduate studies in Mathematics 2007 { 2010 University of Zagreb, Zagreb, Croatia Undergraduate and Master studies 1999 { 20071 in Mathematics and Computer Science University of Zagreb, Zagreb, Croatia ACADEMIC DEGREES PhD in Physics awarded 16 Nov 2012 Heriot-Watt University, Edinburgh, UK Master in Mathematics and Computer Science awarded 13 Sept 2007 University of Zagreb, Zagreb, Croatia (Dipl. -Ing. degree) Highest grade (5) achieved Final Exam and Graduation Dissertation EMPLOYMENT Assistant Professor (tenure track), LIACS & LION Leiden University 2018 { present Leiden, Netherlands Post-doctoral position at Max Planck Institute of Quantum Optics 2017 { 2018 Garching, Germany (Group Cirac) Post-doctoral position at Institute for Theoretical Physics 2013 { 2017 University of Innsbruck, Austria (Group Briegel) Research associate at the School of Informatics, 2012 { 2013 University of Edinburgh, UK Research assistant at the Division of Molecular Biology 2008 { 2015 Rud¯er Boˇskovi´cInstitute, Zagreb, Croatia 1My studies were protracted during the period of 1999-2008 as I had a second focus. I was a competing track and field athlete (multiple national finalist, 6-10 training sessions/week and co- coach for the horizontal and vertical jumps). In 2006 I also completed mandatory military service. My physics studies began in 2010. 1 FUNDING, FELLOWSHIPS, GRANTS NWO/NWA project \Quantum Inspire" Dec 2020 Google unrestricted Gift Jun 2020 Project \HybridQML" SurfSARA project funding Mar 2020 Project \Quantum Computing for Quantum Chemistry" EC H2020 project \NEASQC " Sept 2020 WP lead for machine learning and optimization Funding for two PhD students, 4 years Jul 2019 External industrial funding from Total Funding for post-doctoral researcher, 1 year Jul 2018 Quantum Software Consortium, internal call.
    [Show full text]
  • Blindness and Verification of Quantum Computation with One Pure Qubit
    Blindness and Verification of Quantum Computation with One Pure Qubit Theodoros Kapourniotis1, Elham Kashefi1, and Animesh Datta2 1 School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, UK [email protected], [email protected] 2 Clarendon Laboratory, Department of Physics, University of Oxford, OX1 3PU, United Kingdom [email protected] Abstract While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum computational devices is the understanding of whether the verification of the computation within these models could be also performed in the restricted scheme. Encoding via blindness (a cryptographic protocol for delegated computing) has proven successful for the verification of universal quantum computation with a restricted verifier. In this paper, we present the adaptation of this approach to the one pure qubit model, and present the first feasible scheme for the verification of delegated one pure qubit model of quantum computing. 1998 ACM Subject Classification Quantum computation theory, Cryptography, Model verifica- tion and validation Keywords and phrases Delegated Computing, Verification, Measurement-based Model Digital Object Identifier 10.4230/LIPIcs.TQC.2014.176 1 Introduction The physical realisation of quantum information processing requires the fulfilment of the five criteria collated by DiVincenzo [13]. While enormous progress had been made in realising them since, we are still some way from constructing a universal quantum computer. This raises the question whether quantum advantages in computation are possible without fulfilling one or more of DiVincenzo’s criteria.
    [Show full text]
  • Annual Report 2019
    Annual Report 2019 ANNUAL REPORT 2019 A synthetic diamond on a microwave transmission line illuminated by a green laser. Atom-sized crystal defects inside the diamond are used as microscopic heat machines to explore thermodynamics in the quantum regime/Jonas Becker Front cover: A micro-machined enclosure for a superconducting circuit for quantum computing, designed for scalability/Peter Spring CONTENTS Contents Foreword ................................................................................ 3 Applications & Software ................................................25 Secure Network Applications.......................................25 Introduction ......................................................................... 4 Quantum Enabled Applications ..................................25 Programme Structure ..................................................... 5 Quantum/Classical Emulation and Interfacing .......26 Achievements ................................................................... 6 NQIT Consortium ............................................................. 7 Wider Engagement ...........................................................29 UK Partners Map .............................................................. 8 Public Engagement .......................................................29 Industry and Strategic Partners ................................... 9 Responsible Research and Innovation ......................29 People .............................................................................. 10 Inter-Hub
    [Show full text]
  • Proquest Dissertations
    Universite de Montreal Quantum nonlocality, cryptography and complexity par Anne Lise Broadbent Departement d'informatique et de recherche operationnelle Faculte des arts et des sciences These presentee a la faculte des etudes superieures et postdoctorales en vue de l'obtention du grade de Philosophic Doctor (Ph. D.) en informatique ^es^Cs Js „ sld s mars 2008 S^o, Oct>c. % ,"^K^ Gradei~»,f °s?<cs~* ( 3 3 *• m (c) Anne Lise Broadbent, 2008. Library and Archives Bibliotheque et 1*1 Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington OttawaONK1A0N4 OttawaONK1A0N4 Canada Canada Your We Votre reference ISBN: 978-0-494-57756-1 Our file Notre reference ISBN: 978-0-494-57756-1 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library and permettant a la Bibliotheque et Archives Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par I'lnternet, prefer, telecommunication or on the Internet, distribuer et vendre des theses partout dans le loan, distribute and sell theses monde, a des fins commerciales ou autres, sur worldwide, for commercial or non­ support microforme, papier, electronique et/ou commercial purposes, in microform, autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in this et des droits moraux qui protege cette these. Ni thesis Neither the thesis nor la these ni des extra its substantiels de celle-ci substantial extracts from it may be ne doivent etre imprimes ou autrement printed or otherwise reproduced reproduits sans son autorisation.
    [Show full text]
  • Annual Report 2018
    Annual Report 2018 The NQIT Entangler, developed by the University of Southampton / Paul Gow & Paolo Mennea Contributors Andru Gheorghiu Animesh Datta Chris Wade David Nadlinger Dominic O’Brien Evert Geurtsen Ezra Kassa Frances Sweeney Hannah Rowlands Ian Walmsley Iris Choi Jaewoo Joo Jason Smith Jonas Becker Nathan Walk Niel de Beaudrap Peter Leek Petros Wallden Philip Inglesant Rishi Deshmukh Rupesh Srivastava Simon Benjamin Weida Zhang Winfried Hensinger Xiao Yuan Editors Frances Sweeney Hannah Rowlands Rupesh Srivastava Design and Print Hunts Core Engineering Capabilities . 30 Contents Architecture Progress . 31 Qubits: quality vs . quantity . 33 Applications & Software . 34 Foreword . 1 Applications Introduction . 34 Introduction . 3 Secure Network Applications . 35 Year Three Achievements . 5 Networked Quantum Sensors . 35 Programme Structure . 6 Quantum Enabled Discovery . 36 The NQIT Consortium . 7 Quantum/Classical Emulation and Interfacing . 36 UK Partners Map . 8 Development of Quantum Applications . 38 Industry and Strategic Partners . 9 Quantum Optimisation and People . 10 Machine Learning . 39 NQIT Ecosystem . 12 How does quantum computing intersect Quantum Computing in a Global Context . 13 with machine learning? . 40 Science and Innovation Audit for Oxfordshire . 15 Wider Engagement . 41 Industry Engagement . 16 Responsible Research and Innovation . 41 NQIT Industry Day 2017 . 17 Public Engagement . 42 National Quantum An Evening of Quantum Discovery . 43 Technologies Showcase 2017 . 18 Quantum Photography Competition . 44 IBM Q Collaboration . 19 Walk-in Quantum Computer Installation . 45 Wireless Radio Frequency Inter-Hub Collaboration . 45 Feedthrough for Ion Traps with ColdQuanta . 20 Skills and Training . 46 Spinout Companies . 21 Oxford Quantum Circuits . 22 Future Plans . 47 Innovate UK: Commercialisation of Beecroft Building . 48 Quantum Technologies .
    [Show full text]
  • Complexity-Theoretic Limitations on Blind Delegated Quantum Computation
    Edinburgh Research Explorer Complexity-Theoretic Limitations on Blind Delegated Quantum Computation Citation for published version: Aaronson, S, Cojocaru, A, Gheorghiu, A & Kashefi, E 2019, Complexity-Theoretic Limitations on Blind Delegated Quantum Computation. in C Baier, I Chatzigiannakis, P Flocchini & S Leonardi (eds), 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)., 6, Leibniz International Proceedings in Informatics (LIPIcs), vol. 132, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, pp. 6:1-6:13, 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, 8/07/19. https://doi.org/10.4230/LIPIcs.ICALP.2019.6 Digital Object Identifier (DOI): 10.4230/LIPIcs.ICALP.2019.6 Link: Link to publication record in Edinburgh Research Explorer Document Version: Publisher's PDF, also known as Version of record Published In: 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected]
    [Show full text]
  • Complexity-Theoretic Limitations on Blind Delegated Quantum
    Complexity-Theoretic Limitations on Blind Delegated Quantum Computation Scott Aaronson Department of Computer Science, University of Texas at Austin, USA [email protected] Alexandru Cojocaru School of Informatics, University of Edinburgh, UK [email protected] Alexandru Gheorghiu1 Department of Computing and Mathematical Sciences, California Institute of Technology, USA School of Informatics, University of Edinburgh, UK [email protected] Elham Kashefi School of Informatics, University of Edinburgh, UK CNRS LIP6, Université Pierre et Marie Curie, Paris, France ekashefi@inf.ed.ac.uk Abstract Blind delegation protocols allow a client to delegate a computation to a server so that the server learns nothing about the input to the computation apart from its size. For the specific case of quantum computation we know, from work over the past decade, that blind delegation protocols can achieve information-theoretic security (provided the client and the server exchange some amount of quantum information). In this paper we prove, provided certain complexity-theoretic conjectures are true, that the power of information-theoretically secure blind delegation protocols for quantum computation (ITS-BQC protocols) is in a number of ways constrained. In the first part of our paper we provide some indication that ITS-BQC protocols for delegating polynomial-time quantum computations in which the client and the server interact only classically are unlikely to exist. We first show that having such a protocol in which the client and the server exchange O(nd) bits of communication, implies that BQP ⊂ MA/O(nd). We conjecture that this containment is unlikely by proving that there exists an oracle relative to which BQP 6⊂ MA/O(nd).
    [Show full text]
  • Spécialité Informatique Quantum Proofs, the Local Hamiltonian
    UNIVERSITÉ SORBONNE PARIS CITÉ UNIVERSITÉ PARIS DIDEROT -PARIS 7 Institut de Recherche en Informatique Fondamentale THÈSE DE DOCTORAT spécialité Informatique à l’ÉCOLE DOCTORALE DE SCIENCES MATHÉMATIQUES DE PARIS CENTRE Quantum proofs, the Local Hamiltonian problem and applications Par : Alex BREDARIOL GRILO Dirigé par Iordanis KERENIDIS Soutenue publiquement le 27 avril 2018 devant le jury constitué de : Scott AARONSON, PR University of Austin Rapporteur Fernando G.S.L. BRANDÃO, PR California Insitute of Technology Rapporteur Elham KASHEFI, CR Université Pierre et Marie Curie, Présidente PR University of Edinburgh Iordanis KERENIDIS, DR Université Paris Diderot Directeur de thèse Anthony LEVERRIER, CR INRIA Examinateur Simon PERDRIX, CR Université de Lorraine Examinateur Abstract In QMA, the quantum generalization of the complexity class NP, a quantum state is provided as a proof of a mathematical statement, and this quantum proof can be verified by a quantum algorithm. This complexity class has a very natural complete problem, the Local Hamiltonian problem. Inspired by Condensed Matters Physics, this problem concerns the groundstate en- ergy of quantum systems. In this thesis, we study some problems related to QMA and to the Local Hamiltonian problem. First, we study the difference of power when classical or quantum proofs are provided to quantum verification algorithms. We propose an intermediate setting where the proof is a “simpler” quantum state, and we manage to prove that these simpler states are enough to solve all problems in QMA. From this result, we are able to present a new QMA-complete problem and we also study the one-sided error version of our new complexity class.
    [Show full text]
  • ICTS Programme on Quantum Information Processing 5 December 2007 to 4 January 2008
    Report on the ICTS Programme on Quantum Information Processing 5 December 2007 to 4 January 2008 Name of the programme: Quantum Information Processing Organisers: Jaikumar Radhakrishnan, School of Technology and Computer Science, TIFR, [email protected] Pranab Sen, School of Technology and Computer Science, TIFR, [email protected]. Duration: 5 December 2007 to 4 January 2008. Preamble: Quantum information processing is a thriving area of research that at- tempts to recast information processing in the quantum mechanical framework. Several remarkable recent works in this area have challenged our understand- ing of computation and shaken the foundations of well-established areas such as algorithms, complexity theory, and cryptography. Over the last decade, fol- lowing Peter Shor’s efficient quantum factoring algorithm (1994) and Grover’s quantum search algorithm (1996), several works have consolidated and gener- alised the insights obtained in these early works. In parallel, fundamental issues have been addressed in the area of quantum information theory, entanglement, quantum communication complexity, quantum cryptography etc. In 2002, TIFR organised a very successful successful event on a similar subject under the title Quantum Physics and Information Processing. Several developments have taken place in the area Quantum Information Pro- cessing in recent years. The purpose of the present program was to get the re- searchers in India, and TIFR in particular, acquainted with these developments. Structure of the program: The program was split between two locations: TIFR, Mum- bai, and India International Centre, New Delhi. We invited (to TIFR) experts who had made significant recent contributions, especially in areas where there is strong interest in TIFR, e.g.
    [Show full text]
  • CV (Detailed, Includes Publication List)
    Petros Wallden - CV (detailed, includes Publication List) Petros Wallden - CV Personal Information Citizenship: Greek Address: Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, United Kingdom E-mail: [email protected]; [email protected] Website: www.pwallden.gr Current Position • 2014 (September) - present Research Associate and Lecturer (fixed term) at University of Edinburgh, School of Informatics, Scotland, UK. Education • PhD: 2003 - 2006 Imperial College, Theoretical Physics Group, UK Title: Topics in the Decoherent Histories approach to Quantum Theory and Quantum Gravity Supervisor: Prof. Jonathan J. Halliwell • Postgraduate: 2002 - 2003 University of Cambridge, Department of Applied Mathematics and Theoretical Physics, UK Master of Advanced Study in Mathematics, Part III Mathematical Tripos, Cambridge University. Final grade: Merit • First Degree: 1999 - 2002 Imperial College, Department of Physics, UK Bsc. Physics with Theoretical Physics Final grade: First class honours 80.48% Dissertation: Quantifying entanglement (grade 94%). Supervisor: Prof. Vlatko Vedral Associateship of the Royal College of Science, A.R.C.S. (2002) Professional History: (a) Research Positions • 2013-2014 Research Associate at Heriot-Watt University, Institute of Photonics and Quan- tum Sciences, Scotland, UK. • 2009 - 2010 Postdoctoral Fellow at University of Athens, Physics Department, Nuclear and High Energy Physics Section, Greece. Fellowship of (Greek) State Scholarship Foundation (I.K.Y.) • 2006 - 2008 Postdoctoral Fellow in Theoretical
    [Show full text]
  • Rigidity of Quantum Steering and One-Sided Device-Independent Verifiable Quantum Computation
    Edinburgh Research Explorer Rigidity of quantum steering and one-sided device-independent verifiable quantum computation Citation for published version: Gheorghiu, A, Wallden, P & Kashefi, E 2017, 'Rigidity of quantum steering and one-sided device- independent verifiable quantum computation', New Journal of Physics, vol. 19, no. 2, 023043. https://doi.org/10.1088/1367-2630/aa5cff Digital Object Identifier (DOI): 10.1088/1367-2630/aa5cff Link: Link to publication record in Edinburgh Research Explorer Document Version: Publisher's PDF, also known as Version of record Published In: New Journal of Physics General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim. Download date: 07. Oct. 2021 Home Search Collections Journals About Contact us My IOPscience Rigidity of quantum steering and one-sided device-independent verifiable quantum computation This content has been downloaded from IOPscience. Please scroll down to see the full text. 2017 New J. Phys. 19 023043 (http://iopscience.iop.org/1367-2630/19/2/023043) View the table of contents for this issue, or go to the journal homepage for more Download details: IP Address: 129.215.224.16 This content was downloaded on 23/02/2017 at 17:08 Please note that terms and conditions apply.
    [Show full text]
  • Elham Kashefi
    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
    [Show full text]