Devitt Simon Devitt Simon

… Alternative Names

DEVITT Simon デビットサイモン

Less

Researcher Number	90469601
Other IDs
Affiliation (based on the past Project Information) *help	2015 – 2016: 国立研究開発法人理化学研究所, 創発物性科学研究センター, 研究員 2014: 国立情報学研究所, 情報学プリンシプル研究系, 共同研究員 2013: 国立情報学研究所, 情報学プリンシプル研究系, 助教 2012: 国立情報学研究所, 情報学プリンシプル研究系, 特任助教
Review Section/Research Field	Principal Investigator Theory of informatics / Science and Engineering
Keywords	Principal Investigator 量子計算理論 / Quantum Programming / Optimisation / Software Compilation / Topological Computation / Resource Optimisation / Quantum Compilation / Quantum Software / Topological Computing / Quantum Error Correction … More / Quantum Computing / 大規模コンピュータ・アーキテクチャー / 古典制御 / 回路ベリファケーション / リソース評価 / 回路最適化 / トポロジカル量子コンピュータ / 量子誤り訂正 / 量子情報処理 / 量子エレクトロニクス / 量子コンピュータ Less

Data analysis and verification of topological quantum algorithmsPrincipal Investigator
- Principal Investigator
  
  Devitt Simon
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  Institute of Physical and Chemical Research
  National Institute of Informatics
トポロジー符号化された量子計算のためのコンパイラPrincipal Investigator
- Principal Investigator
  
  DEVITT Simon (Devitt Simon)
- Project Period (FY)
  2012 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics

All 2017 2016 2015 2014 2013 2012 Other

All Journal Article Presentation Book

[Book] Reversible Computation2016
- Author(s)
  ivan lanesen, Simon J. Devitt
- Total Pages
  250
- Publisher
  Springer, New-York
- Data Source
  KAKENHI-PROJECT-26540006
[Book] Reversible Computation, Lecture notes in Computer Science2016
- Author(s)
  Simon J. Devitt, Ivan Ianese
- Total Pages
  197
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Fault-tolerant, high-level quantum circuits: form, compilation and description2017
- Author(s)
  Alexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt
- Journal Title
  
  Quantum Science and Technology
  
  Volume: 2 Issue: 2 Pages: 025003-025003
- DOI
  10.1088/2058-9565/aa66eb
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Blueprint for a microwave trapped ion quantum computer2017
- Author(s)
  Bjoern Lekitsch, Sebastian Weidt, Austin G. Fowler, Klaus Molmer, Simon J. Devitt, Christof Wunderlich, Winnfried Hensinger
- Journal Title
  
  Science Advances
  
  Volume: 3 Issue: 2
- DOI
  10.1126/sciadv.1601540
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Lattice surgery translation for quantum computation2017
- Author(s)
  D. Herr, F. Nori, S.J. Devitt
- Journal Title
  
  New Journal of Physics
  
  Volume: 19 Issue: 1 Pages: 013034-013034
- DOI
  10.1088/1367-2630/aa5709
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02118, KAKENHI-PROJECT-26540006
[Journal Article] Photonic Quantum Networks formed from NV－centers2016
- Author(s)
  Kae Nemoto, Michael Trupke, Simon J. Devitt, Burkhard Scharfenberger, Kathrin Buczak, Jorg Schmiedmayer, William J. Munro
- Journal Title
  
  Scientific Reports
  
  Volume: 6 Issue: 1 Pages: 26284-26284
- DOI
  10.1038/srep26284
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Performing Quantum Computing Experiments in the Cloud2016
- Author(s)
  Simon J. Devitt
- Journal Title
  
  Physical Review A
  
  Volume: 94 Issue: 3 Pages: 032329-032329
- DOI
  10.1103/physreva.94.032329
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] High-speed quantum networking by ship2016
- Author(s)
  Devitt, Simon J and Greentree, Andrew D and Stephens, Ashley M and Van Meter, Rodney
- Journal Title
  
  Scientific Reports
  
  Volume: 6 Issue: 1 Pages: 36163-36163
- DOI
  10.1038/srep36163
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02812, KAKENHI-PROJECT-26540006
[Journal Article] Programming Quantum Computers Using 3D Puzzles, Coffee Cups and Doughnuts2016
- Author(s)
  Simon J. Devitt
- Journal Title
  
  XRDS
  
  Volume: 23 Issue: 1 Pages: 45-50
- DOI
  10.1145/2983545
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Synthesis of arbitrary quantum circuits to Topological Assembly2016
- Author(s)
  Alexandru Paler, Simon J. Devitt, Austin G. Fowler
- Journal Title
  
  Scientific Reports
  
  Volume: 6 Issue: 1 Pages: 30600-30600
- DOI
  10.1038/srep30600
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Surface code error correction on a defective lattice2016
- Author(s)
  Shota Nagayama and Austin G Fowler and Dominic Horsman and Simon J Devitt and Rodney Van Meter
- Journal Title
  
  New Journal of Physics
  
  Volume: 19 Issue: 2 Pages: 023050-023050
- DOI
  10.1088/1367-2630/aa5918
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02812, KAKENHI-PROJECT-26540006
[Journal Article] Interoperability in encoded quantum repeater networks2016
- Author(s)
  Nagayama, Shota and Choi, Byung-Soo and Devitt, Simon and Suzuki, Shigeya and Van Meter, Rodney
- Journal Title
  
  Physical Review A
  
  Volume: 93 Issue: 4 Pages: 042338-042338
- DOI
  10.1103/physreva.93.042338
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02812, KAKENHI-PROJECT-26540006
[Journal Article] Wire Recycling for Quantum Circuit Optimisation2016
- Author(s)
  Alexandru Paler, Robert Wille, Simon J. Devitt
- Journal Title
  
  Physical Review A
  
  Volume: 94 Issue: 4 Pages: 042337-042337
- DOI
  10.1103/physreva.94.042337
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] The Path to Scalable Distributed Quantum Computing2016
- Author(s)
  Rodney Van Meter and Simon Devitt
- Journal Title
  
  IEEE Computer
  
  Volume: 49 Issue: 9 Pages: 31-42
- DOI
  10.1109/mc.2016.291
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02812, KAKENHI-PROJECT-26540006
[Journal Article] A Fully Fault-Tolerant Representation of Quantum Circuits2015
- Author(s)
  A. Paler, I. Polian, K. Nemoto, S.J. Devitt
- Journal Title
  
  Lecture Notes in Computer Science (LNCS)
  
  Volume: 9138 Pages: 139-154
- DOI
  10.1007/978-3-319-20860-2_9
- ISBN
  9783319208596, 9783319208602
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006, KAKENHI-PROJECT-25280034
[Journal Article] An introduction into fault-tolerant quantum computing2015
- Author(s)
  Alexandru Paler, Simon J. Devitt
- Journal Title
  
  2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC)
  
  Volume: 52 Pages: 1-6
- DOI
  10.1145/2744769.2747911
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Mapping of Topological Quantum Circuits to Physical Hardware2014
- Author(s)
  Alexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian
- Journal Title
  
  Scientific. Reports
  
  Volume: 4657 Issue: 1
- DOI
  10.1038/srep04657
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] The Quantum Memory Stick2014
- Author(s)
  Simon Devitt, Ashley Stephens, and Rodney Van Meter
- Journal Title
  
  Conference Paper of CLEO
  
  Volume: QELS Fundamental Science 2014 Pages: FTu3A.7-FTu3A.7
- DOI
  10.1364/cleo_qels.2014.ftu3a.7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Software-based Pauli Tracking in Fault-tolerant Quantum Circuits2014
- Author(s)
  Alexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian
- Journal Title
  
  Design, Automation and Test In Europe 2014
  
  Volume: 1
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] Cross-level Validation of Topological Quantum Circuits2014
- Author(s)
  Alexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian
- Journal Title
  
  6th Conference on Reversible Computation
  
  Volume: 1
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] High Speed Quantum Networking By Ship2014
- Author(s)
  Simon Devitt, Andrew Greentree, Ashley Stephens, and Rodney Van Meter
- Journal Title
  
  Preprint: Under Review NPJ, Quantum Information
  
  Volume: arXiv:1410.3224
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26540006
[Journal Article] Requirements for fault-tolerant factoring on an atom-optics quantum computer2013
- Author(s)
  Simon J. Devitt, Ashley M. Stephens, William J. Munro, and Kae Nemoto
- Journal Title
  
  Nature Comm
  
  Volume: 2524 Issue: 1
- DOI
  10.1038/ncomms3524
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] Surface code implementation of block code state distillation2013
- Author(s)
  Austin G. Fowler, Simon J. Devitt and Cody Jones
- Journal Title
  
  Scientific Reports
  
  Volume: 1939 Issue: 1
- DOI
  10.1038/srep01939
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] Accurate Resource Estimation for Quantum Computation2013
- Author(s)
  Simon J. Devitt, Ashley M. Stephens, William J. Munro, and Kae Nemoto
- Journal Title
  
  Lasers and Electro-Optics Pacific Rim (CLEO-PR), 2013 Conference on, WG1-3, IEEE (2013)
  
  Volume: 1 Pages: 1-2
- DOI
  10.1109/cleopr.2013.6600225
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] Surface code quantum computing by lattice surgery2012
- Author(s)
  Clare Horsman, Austin G. Fowler, Simon J. Devitt, Rodney van Meter
- Journal Title
  
  New Journal of Physics
  
  Volume: 14 Issue: 12 Pages: 1-27
- DOI
  10.1088/1367-2630/14/12/123011
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] Synthesis of topological quantum circuits2012
- Author(s)
  Alexandru Palar, Simon J. Devitt, Kae Nemoto, Ilia Polian
- Journal Title
  
  Nanoscale Architectures (NANOARCH), 2012 IEEE/ACM International Symposium on
  
  Volume: 1 Pages: 181-187
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Journal Article] Programming a Topological Quantum Computer2012
- Author(s)
  Simon J. Devitt, Kae Nemoto
- Journal Title
  
  Test Symposium (ATS), 2012 IEEE 21st Asian
  
  Volume: 1 Pages: 55-60
- DOI
  10.1109/ats.2012.52
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-24102708
[Presentation] Initial Optimisation algorithms for topological quantum computing2016
- Author(s)
  Simon J Devitt
- Organizer
  Quantum Computer Science
- Place of Presentation
  Banff International Research Station, Canada
- Year and Date
  2016-04-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] meQuanics The Quantum computer game2016
- Author(s)
  Simon J. Devitt
- Organizer
  Quantum Computer Science
- Place of Presentation
  Banff Research Station, Canada
- Year and Date
  2016-04-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] meQuanics: The Quantum Computer Game2016
- Author(s)
  Simon J Devitt
- Organizer
  Quantum Computer Science
- Place of Presentation
  Banff International Research Station, Canada
- Year and Date
  2016-04-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Quantum computing and the game meQuanics2016
- Author(s)
  Simon J. Devitt
- Organizer
  Summit on human problem solving and artificial intelligence
- Place of Presentation
  Aarhus University, Denmark
- Year and Date
  2016-11-28
- Invited
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Quantum compilation for topological quantum computers2016
- Author(s)
  Simon J. Devitt
- Organizer
  Quantum Computer Science
- Place of Presentation
  Banff Research station, Canada
- Year and Date
  2016-04-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Developments in Quantum Computing2016
- Author(s)
  Simon J. Devitt
- Organizer
  Conference on post-quantum cryptography
- Place of Presentation
  University of Chongqing, China
- Year and Date
  2016-12-02
- Invited
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Introduction to Fault-Tolerant Quantum Computing2015
- Author(s)
  Simon J Devitt
- Organizer
  Design Automation Con- ference (DAC’52)
- Place of Presentation
  San Fransisco, USA
- Year and Date
  2015-06-11
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Compilation for time-optimal, fault-tolerant quantum circuits2015
- Author(s)
  Simon J Devitt
- Organizer
  Quantum Programming and Circuits Workshop
- Place of Presentation
  University of Waterloo, Canada
- Year and Date
  2015-06-08
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] The Quantum Memory Stick2014
- Author(s)
  Simon Devitt
- Organizer
  CLEO: QELS Fundamental Science 2014
- Place of Presentation
  San Jose, California, US
- Year and Date
  2014-06-10
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Programming a large scale quantum computer2013
- Author(s)
  Simon Devitt
- Organizer
  Seminar@Department of Physics
- Place of Presentation
  University of Loughborough, UK
- Invited
- Data Source
  KAKENHI-PUBLICLY-24102708
[Presentation] Accurate Resource Estimation for Quantum Computation2013
- Author(s)
  Simon Devitt
- Organizer
  The 10th Conference on Lasers and Electro-Optics Pacific Rim, and The 18th OptoElectronics and Communications Conference / Photonics in Switching 2013
- Place of Presentation
  京都国際会議場
- Data Source
  KAKENHI-PUBLICLY-24102708
[Presentation] Design and Optimisation of large Scale Quantum Computers2013
- Author(s)
  Simon Devitt
- Organizer
  First Workshop on Parallel Quantum Computing (ParQ2013)
- Place of Presentation
  San Diego Convention Center, China
- Invited
- Data Source
  KAKENHI-PUBLICLY-24102708
[Presentation] Optimisation of Large-scale quantum circuits
- Author(s)
  Simon Devitt
- Organizer
  QI Workshop
- Place of Presentation
  Tokyo, Japan
- Year and Date
  2015-02-17 – 2015-02-18
- Invited
- Data Source
  KAKENHI-PROJECT-26540006
[Presentation] Classical Control of Large-Scale Quantum Computers
- Author(s)
  Simon Devitt
- Organizer
  Reversible Computation 2014 (RC'2014)
- Place of Presentation
  Kyoto, Japan
- Year and Date
  2014-07-10 – 2014-07-11
- Invited
- Data Source
  KAKENHI-PROJECT-26540006

1. VAN METER Rodney

# of Collaborated Projects: 0 results

# of Collaborated Products: 4 results
2. NAGAYAMA Shota

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
3. SUZUKI Shigeya

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
4. NORI Franco

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
5. STEPHENS Ashley

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
6. GREENTREE Andrew

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
7. HORSMAN Dominic

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
8. FOWLER Austin

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
9. CHOI Byung-Soo

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Devitt Simon Devitt Simon

DEVITT Simon デビット サイモン

Research Projects

Research Products

Co-Researchers

Data analysis and verification of topological quantum algorithmsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

トポロジー符号化された量子計算のためのコンパイラPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Book] Reversible Computation2016

Author(s)

Total Pages

Publisher

Data Source

[Book] Reversible Computation, Lecture notes in Computer Science2016

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Fault-tolerant, high-level quantum circuits: form, compilation and description2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Blueprint for a microwave trapped ion quantum computer2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Lattice surgery translation for quantum computation2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Photonic Quantum Networks formed from NV－centers2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Performing Quantum Computing Experiments in the Cloud2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] High-speed quantum networking by ship2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Programming Quantum Computers Using 3D Puzzles, Coffee Cups and Doughnuts2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Synthesis of arbitrary quantum circuits to Topological Assembly2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Surface code error correction on a defective lattice2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Interoperability in encoded quantum repeater networks2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Wire Recycling for Quantum Circuit Optimisation2016

Author(s)

Journal Title

DEVITT Simon デビットサイモン