Hi all,

Tomorrow Roman Wixinger will present his semester project “Uncomputation and Entanglement in High-level Quantum Programming Languages”, conducted under the supervision of Prof. Christian Mendl at TU München. See below for the abstract. We start as usual at 2pm on zoom: https://ethz.zoom.us/j/362994444.

Best,

Joe

Quantum programming languages traditionally focus on the hardware level
and are therefore not really good at representing the intentions of the
programmer. Explicit formulation of uncomputation, which is essential
for the safe and efficient use of the qubits, makes the code
unnecessarily complex. In recent work, Vechev et al. (2020) introduced
Silq, a high-level language that allows for safe, automatic
uncomputation just using its type system. This feature makes the code
significantly shorter and more intuitive. The type system can also
ensure that any program that compiles is physical. In this project, we
compared Silq’s solution of handling uncomputation with other approaches
and give an overview of the features of quantum languages. We have also
tried to understand whether a qubit can be safely discarded by directly
looking at the entanglement.