Theory

UW–Madison Quantum Programming Systems Group

Our group studies how to program a quantum computer to practically realize quantum algorithms. Quantum computers promise incredible speedups for tasks such as simulation, search, and optimization. However, achieving this speedup in practice forces us to fundamentally rethink the abstractions, such as data structures and control flow, that we use to write algorithms as programs. Our research thus builds a new software stack of languages, libraries, and compilers to manipulate and reason about quantum information.

Quantum Devices in Computer Science Group (QDCS), International Centre for Theory of Quantum Technologies (ICTQT), University of Gdańsk, Poland

Quantum Devices in Computer Science Group (QDCS) led by Michał Studziński

“Exploring the Quantum Frontier—Where Ideas Become Reality.”

The aim of the Quantum Devices in Computer Science group is to focus on unlocking the power of symmetries in quantum systems and understand the induced capabilities for quantum computation and quantum data transmission protocols. Our scientific activity is based on strong mathematical foundations relying on developing and applying advanced tools in representation theory.

Specific goals include:

Quantum Error Correction and Quantum Metrology (QECQM)

Here, at the University of Sheffield, we are a theory group focussing on Quantum Error Correction (QEC) and its applications, for example in Quantum Metrology. We are also interested in fundamental problems in quantum metrology, such as in multiparameter state estimation (and applications).

We are located in the lovely city of Sheffield, in the United Kingdom.

Pages