Theoretical computer science

Cambridge Quantum Appoints Professor Stephen Clark as Head of Artificial Intelligence

Retrieved on: 
Monday, April 12, 2021
Academic disciplines, Theoretical computer science, Quantum information science, Quantum programming, Artificial intelligence, Cambridge Quantum Computing, Emerging technologies, DeepMind, Department of Computer Science, University of Oxford, Quantum computing

b'CAMBRIDGE, England, April 12, 2021 /PRNewswire/ -- Cambridge Quantum Computing ( CQC ) are pleased to announce the appointment of Prof. Stephen Clark as Head of Artificial Intelligence.

Key Points: 
  • b'CAMBRIDGE, England, April 12, 2021 /PRNewswire/ -- Cambridge Quantum Computing ( CQC ) are pleased to announce the appointment of Prof. Stephen Clark as Head of Artificial Intelligence.
  • Prof. Clark joins CQC from DeepMind where he was a Senior Staff Research Scientist and led a team working on grounded language learning in virtual environments.
  • Before that, Prof. Clark was a member of faculty at the Oxford University Department of Computer Science, and a Fellow of Keble College, Oxford.
  • Clark said, "I am delighted to be joining Cambridge Quantum, a cutting-edge world-leading quantum computing company.

New IQT Research Report: Quantum Processor Market Takes Off: A New Industry Born

Retrieved on: 
Thursday, April 8, 2021
Emerging technologies, Academic disciplines, Quantum information science, Theoretical computer science, Articles, Quantum mechanics, Quantum cryptography, Computational complexity theory, Quantum technology, Quantum computing, IQT

Although currently quite small (IQT pegs the quantum processor industry at about $200 million in revenues in 2026), IQT Research believes that there will be massive opportunities for quantum processors as smaller quantum computers find their way into data centers and new types of quantum systems appear by the end of the decade.

Key Points: 
  • Although currently quite small (IQT pegs the quantum processor industry at about $200 million in revenues in 2026), IQT Research believes that there will be massive opportunities for quantum processors as smaller quantum computers find their way into data centers and new types of quantum systems appear by the end of the decade.
  • We believe that there will be plenty of room for important new start-ups in the quantum processor space, says Lawrence Gasman president of IQT Research.
  • Beyond the quantum processors themselves IQT Research sees important commercial opportunities in quantum process or peripheral products.
  • IQT News:In addition to publishing reports on critical business opportunities in the quantum technology sector, IQT Research runs a popular daily newsfeed (Quantum Technology News) on business-related happenings in quantum technology.

Aliro Quantum to Unveil Quantum Network Design and Simulation Platform at Quantum.Tech Virtual on April 12-14

Retrieved on: 
Wednesday, April 7, 2021
Quantum mechanics, Quantum information science, Theoretical physics, Academic disciplines, Theoretical computer science, Quantum cryptography, Quantum network, Cloud computing, Quantum entanglement, AQN, Network simulation

AQN is a cloud quantum network platform that assists engineers and researchers in leveraging Entanglement as a Service (EaaS) for their application needs.

Key Points: 
  • AQN is a cloud quantum network platform that assists engineers and researchers in leveraging Entanglement as a Service (EaaS) for their application needs.
  • With simulation and emulation tools, AQN users can make decisions about network architectures, protocol selection, application optimization, and more.
  • In addition to demoing new quantum network simulation software, the Aliro team will present a virtual booth at the conference.
  • Aliro Quantum is a quantum networking platform company that spun out of NarangLab at Harvard University.

Axiomise Unveils Formal Verification 101 Training Program

Retrieved on: 
Tuesday, April 6, 2021
Academic disciplines, Theoretical computer science, Formal methods, Pharmaceutical industry, Validity, Systems engineering, Software engineering, Articles, Formal verification, Verification, Software verification and validation, Validation

LONDON, April 06, 2021 (GLOBE NEWSWIRE) -- Axiomise , the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unveiled a comprehensive introductory certification-based formal verification training program to further the adoption of formal for hardware verification and validation.

Key Points: 
  • LONDON, April 06, 2021 (GLOBE NEWSWIRE) -- Axiomise , the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unveiled a comprehensive introductory certification-based formal verification training program to further the adoption of formal for hardware verification and validation.
  • The continuing education training program has been field tested and constructed to lead a novice toward becoming a production-grade verification engineer.
  • Axiomise is dedicated to furthering adoption of formal verification through its unique combination of training, consulting, services and specialized verification solutions for RISC-V.
  • Founded by Dr. Ashish Darbari, a 20-year passionate driver for formal methods adoption, it offers cutting-edge, formal verification training, consulting and services.

QCI Expands Sales and Marketing Team to Accelerate Growth and Advance Enterprise Adoption of Quantum Computing

Retrieved on: 
Tuesday, April 6, 2021
Academic disciplines, Emerging technologies, Theoretical computer science, QCI, Quantum computing, Articles

QCI named iconic tech sales leader, Dave Morris, as its chief revenue officer, and tech marketing veteran Rebel Brown as vice president of marketing.

Key Points: 
  • QCI named iconic tech sales leader, Dave Morris, as its chief revenue officer, and tech marketing veteran Rebel Brown as vice president of marketing.
  • We are confident that the expanded team will accelerate our growth and advance quantum computing in the enterprise ahead of industry predictions.
  • He has prepared and adapted large sales teams to drive change and exploit technology evolution, both critical elements in quantum computing.
  • Quantum Computing Inc. (OTCQB: QUBT) (QCI) is focused on accelerating the value of quantum computing for real-world business solutions.

2021 Thematic Research into Quantum Computing - Key Trends Impacting Growth - ResearchAndMarkets.com

Retrieved on: 
Tuesday, April 6, 2021
Technology, Networks, Hardware, Academic disciplines, Theoretical computer science, Emerging technologies, Quantum information science, Applied mathematics, Quantum computing, Quantum cryptography, Computing, Quantum machine learning

Theoretically, quantum computing can complete in seconds tasks that would take classical computers thousands or even millions of years.

Key Points: 
  • Theoretically, quantum computing can complete in seconds tasks that would take classical computers thousands or even millions of years.
  • Quantum computers are machines that use the properties of quantum physics to store data and perform computations.
  • It identifies the key trends impacting growth of the theme over the next 12 to 24 months, split into two categories: technology trends and macroeconomic trends.
  • The detailed value chain comprises five segments: quantum infrastructure, quantum hardware platform, quantum software, quantum applications, and quantum services.

Seeqc’s Naples Team Achieves Quantum Computing Milestone

Retrieved on: 
Tuesday, April 6, 2021
Research, Technology, Semiconductor, Engineering, Other Technology, Nanotechnology, Manufacturing, Hardware, Science, Other Science, Emerging technologies, Academic disciplines, Articles, Theoretical computer science, Computational complexity theory, Quantum computing, Computing, Quantum memory, Physical and logical qubits

Seeqcs is the first team in Italy and one of only a handful of international quantum computing firms to achieve this critical engineering milestone.

Key Points: 
  • Seeqcs is the first team in Italy and one of only a handful of international quantum computing firms to achieve this critical engineering milestone.
  • Digital quantum computing combines classical and quantum computing, forming an all-digital architecture to address the efficiency, stability and cost issues that often plague quantum computing systems using CMOS-based analog, microwave control infrastructure.
  • Seeqcs quantum system provides the energy- and cost-efficiency, speed and digital control required to make quantum computing useful and bring the first commercially-scalable, problem-specific quantum computing applications to market.
  • Seeqcs team of executives and scientists have deep expertise and experience in commercial superconductive computing solutions and quantum computing.

RIKEN, Fujitsu Launch Collaborative R&D Center in Japan in First Step Toward Realization of Superconducting Quantum Computers

Retrieved on: 
Thursday, April 1, 2021
Academic disciplines, Theoretical computer science, Quantum cryptography, Applied mathematics, Computational complexity theory, Quantum computing, Qiskit, Quantum programming

In addition, Fujitsu and RIKEN will integrate the results of research on these hardware technologies, develop a prototype superconducting quantum computer, and verify the usefulness of the related technologies.

Key Points: 
  • In addition, Fujitsu and RIKEN will integrate the results of research on these hardware technologies, develop a prototype superconducting quantum computer, and verify the usefulness of the related technologies.
  • The partners will develop middleware and cloud computing systems necessary for running quantum computers, and research and develop algorithms for running applications.
  • RIKEN and Fujitsu will verify the usefulness of error mitigation technologies in practical applications by executing quantum algorithms that integrate quantum chemical calculation algorithms and quantum error mitigation technologies (1) on a superconducting quantum computer prototype developed through these research activities.
  • At the same time, the partners will also conduct basic verification experiments, such as quantum error detection, to identify issues and improve technologies for realizing quantum error correction.

Cambridge Quantum Computing Pioneers Quantum Machine Learning Methods for Reasoning

Retrieved on: 
Tuesday, March 30, 2021
Quantum information science, Academic disciplines, Theoretical computer science, Emerging technologies, Quantum programming, Quantum mechanics, Quantum computing, Cambridge Quantum Computing, Quantum machine learning, Quantum algorithm

CAMBRIDGE, England, March 30, 2021 /PRNewswire/ -- Scientists at Cambridge Quantum Computing ( CQC ) have developed methods and demonstrated that quantum machines can learn to infer hidden information from very general probabilistic reasoning models.

Key Points: 
  • CAMBRIDGE, England, March 30, 2021 /PRNewswire/ -- Scientists at Cambridge Quantum Computing ( CQC ) have developed methods and demonstrated that quantum machines can learn to infer hidden information from very general probabilistic reasoning models.
  • These methods could improve a broad range of applications, where reasoning in complex systems and quantifying uncertainty are crucial.
  • In this video , Dr. Mattia Fiorentini, Head of our Quantum Machine Learning division, provides detailed insight on the project outcomes and its implications.
  • Founded in 2014 and backed by some of the world's leading quantum computing companies, CQC is a global leader in quantum software and quantum algorithms, enabling clients to achieve the most out of rapidly evolving quantum computing hardware.

Cambridge Quantum Computing Pioneers Quantum Machine Learning Methods for Reasoning

Retrieved on: 
Tuesday, March 30, 2021
Quantum information science, Academic disciplines, Theoretical computer science, Emerging technologies, Quantum mechanics, Quantum programming, Quantum computing, Cambridge Quantum Computing, Quantum machine learning, Quantum algorithm, Quantum information, Centre for Quantum Computation

- Quantum-assisted reasoning based on partial information demonstrates quantum machine intelligence that is accurate, flexible, and effective

Key Points: 
  • - Quantum-assisted reasoning based on partial information demonstrates quantum machine intelligence that is accurate, flexible, and effective
    CAMBRIDGE, England, March 30, 2021 /PRNewswire/ -- Scientists at Cambridge Quantum Computing ( CQC ) have developed methods and demonstrated that quantum machines can learn to infer hidden information from very general probabilistic reasoning models.
  • These methods could improve a broad range of applications, where reasoning in complex systems and quantifying uncertainty are crucial.
  • In this video , Dr. Mattia Fiorentini, Head of our Quantum Machine Learning division, provides detailed insight on the project outcomes and its implications.
  • Founded in 2014 and backed by some of the world's leading quantum computing companies, CQC is a global leader in quantum software and quantum algorithms, enabling clients to achieve the most out of rapidly evolving quantum computing hardware.