Paolo Zuliani

Automatisches Tool zur Überprüfung der Richtigkeit von Quantenprogrammen, die in Silq geschrieben wurden.

Die Rolle von genetischen Algorithmen bei der Optimierung des Designs von Quanten-Schaltungen erkunden.

Ein Blick auf die Verwendung von Barrier-Zertifikaten für eine sicherere Verifizierung von Quanten-Schaltkreisen.

Silq vereinfacht die Quantenprogrammierung mit benutzerfreundlichen Funktionen.