Quantum Computing

We research methods to characterize and study quantum computing devices and their dynamics under the effect of quantum noise to improve the utilization of current quantum devices and facilitate their future development.

The Haifa Quantum Computing group is an active part of the global IBM Quantum organization, which is responsible for developing IBM's quantum hardware and the related software stack, including Qiskit. Our work relies on interdisciplinary skills from theoretical and experimental physics, computer science, mathematics and software engineering. Our team includes professionals from each of these disciplines, while each of us spends considerable time in gaining the other, complementary skills. We also bring with us deep background in classical hardware verification methodologies and tools.

Quantum noise is a first-class member of the computation process in quantum computing. We study noise models that can be simulated efficiently on classical computers and validated against real quantum devices. These models can be used to identify types of physical noise in the hardware, and help reach design points that lower the overall noise. Our work is at the core of all aspects of realistic quantum computers, both from the hardware design and application perspectives.

We are active members of the vibrant Israeli ecosystem around quantum computing, both in the emerging startup landscape and with academia. We have strong ties with various Israeli universities, and encourage discussions and collaboration within this community, including joint research projects, mutual knowledge sharing via seminar talks and industrial student project advisory.


Eli Arbel, Manager, Quantum Computing, IBM Research - Haifa

Eli Arbel,
Manager, Quantum Computing,
IBM Research - Haifa


Device Characterization and Error Mitigation

The main obstacle for quantum computers is noise. We study the effect of noise on quantum devices and develop experiments and methods that can characterize and mitigate noise.


Quantum Circuit Synthesis and Optimization

Quantum circuits are the main facilities through which a quantum computer is operated. Given a quantum program, generating efficient quantum circuits for running it is highly important if we want to fully utilize the potential of a quantum computer. In this activity, we focus on optimizing quantum circuits, which are common in certain quantum applications.


Quantum Circuit Simulation

A quantum computer can be simulated on a regular (classical computer). In particular, we can run quantum circuits using special programs called quantum circuit simulators. Such simulators allow us to study interesting properties of our quantum program, quantum device, and the effect of noise on both. In this activity, we develop advanced quantum circuit simulation methods.