Das Wahlpflichtmodul "Quantencomputing mit formalen Methoden" findet mittwochs 13:45 - 17:00 Uhr in P125 (Prüfening) statt.
In dem Kurs werden formale Methoden aus der theoretischen Informatik für die Modellierung, Analyse und Verifikation von Quantensystemen behandelt.