Xiaoning Bian

Lern, wie die Quanten-Hoare-Logik die Korrektheit von Quantencomputing-Programmen sichert.

2025-08-14T00:41:30+00:00 ― 7 min Lesedauer

Ein genauerer Blick auf das Nachdenken über Programme mit zufälligen Elementen.

2025-07-25T06:09:54+00:00 ― 6 min Lesedauer