-
semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods for establishing properties of quantum programs - Reduction methods and metrics for quantum systems
-
on privacy, design, and tech policy. The HCC research group is distributed across the Aalborg and Copenhagen campuses and provides a highly supportive research environment with skilled and friendly colleagues
-
At the Technical Faculty of IT and Design, Department of Electronic Systems, one or more PhD stipends/Integrated PhD stipends in representation, compression, learning, and inference for classical
-
The Center for Classical Communication in the Quantum Era(CLASSIQUE) is a pioneering research initiative at Aalborg University, Denmark, and is headed by Prof. Petar Popovski. The center aims to