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:

Pages