Teaching
-
WiSe 2023/2024
Prof. Olaf Beyersdorff:
Komplexität und Logik (Seminar)
Kryptologie (Vorlesung)
Kryptologie LAB
Beweiskomplexität (Oberseminar)
Dr. Jörg Vogel:
Diskrete Strukturen III
Automaten und Berechenbarkeit -
SoSe 2023
Prof. Olaf Beyersdorff:
Befindet sich für die Zeit des SoSe 2023 im Forschungsfreisemester.
Benjamin Böhm:
Quantifizierte Boolesche Formeln: Komplexität und Solving (Vorlesung)
Quantifizierte Boolesche Formeln: Komplexität und Solving (LAB) -
WiSe 2022/2023
-
SoSe 2022
Prof. Olaf Beyersdorff:
Algorithmisches Beweisen (Vorlesung)
Algorithmisches Beweisen LAB
Komplexität und Logik (Seminar)
Beweiskomplexität (Oberseminar)
Dr. Jörg Vogel:
Diskrete Strukturen II -
WiSe 2021/2022
Prof. Olaf Beyersdorff:
Komplexität und Logik (Seminar)
Kryptologie (Vorlesung)
Kryptologie LAB
Dr. Jörg Vogel:
Diskrete Strukturen I
Automaten und Berechenbarkeit -
SoSe 2021
Prof. Olaf Beyersdorff:
Befindet sich für die Zeit des SoSe 2021 im Forschungsfreisemester.
Dr. Joshua Blinkhorn:
Quantified Boolean Formulas: Solving and Proofs
Dr. Jörg Vogel:
Diskrete Strukturen II -
WiSe 2020/2021
Prof. Olaf Beyersdorff:
Komplexität und Logik (Seminar)
Algorithmisches Beweisen (Vorlesung)
Algorithmisches Beweisen LABDr. Jörg Vogel:
Diskrete Strukturen I
Automaten und Berechenbarkeit -
SoSe 2020
Prof. Olaf Beyersdorff:
Kryptologie (Vorlesung)
Kryptologie LAB
Komplexität und Logik (Seminar)
Dr. Jörg Vogel:
Diskrete Strukturen II -
WiSe 2019/2020
Prof. Olaf Beyersdorff:
Komplexitätstheorie (Vorlesung)
Komplexitätstheorie LAB
Komplexität und Logik (Seminar)
Dr. Jörg Vogel:
Diskrete Strukturen I
Ausgewählte Konzepte der Kryptologie -
SoSe 2019
Prof. Olaf Beyersdorff:
Algorithmisches Beweisen (Vorlesung)
Algorithmisches Beweisen LAB
Logik in der Informatik (Seminar)
Dr. Jörg Vogel:
Diskrete Strukturen II
Automaten und Berechenbarkeit -
WiSe 2018/2019
Prof. Olaf Beyersdorff:
Kryptologie
Dr. Jörg Vogel:
Diskrete Strukturen I
Automaten und Berechenbarkeit