Lehre

Veranstaltung	Typ	Semester	Aufgaben und Thema/Themen
Praxis der Forschung	Projektgruppe	Wintersemester 2024/25	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten Beweise von auf Kombinatorik basierender Eigenschaften für Wahlverfahren
Neuronale Netze in Formaler Verifikation	Seminar	Wintersemester 2024/25	LLMs zum Erzeugen Formaler Spezifikationen
Praxis der Forschung	Projektgruppe	Sommersemester 2024	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
E-Voting	Seminar	Sommersemester 2024	Formale Verifikation von Verifiability und Eligibility mit ProVerif Sichere Mehrparteienberechnung für geheime Ergebnisberechnung von ordnungsbasierten und echten Parlamentswahlen
Praxis der Forschung	Projektgruppe	Wintersemester 2023/24	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten Risikobegrenzende Audits für Online-Wahlen
Forschungspraktikum zu Formale Systeme	Praktikum	Wintersemester 2023/24	Koordination und Organisation
Formale Systeme II: Anwendung	Vorlesung	Sommersemester 2023	Modellierung in Logiken höherer Ordnung und interaktives Theorembeweisen mit Isabelle
Praxis der Forschung	Projektgruppe	Sommersemester 2023	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten Verifizierte Konstruktion zustimmungsbasierter Komitee-Wahlverfahren
Fairness und Diskriminierungs- freiheit aus Sicht von Ethik und Informatik	Seminar	Sommersemester 2023	Koordination und Organisation Eine erweiterte Sicht auf Diskriminierung
Forschungspraktikum zu Formale Systeme II: Anwendung	Praktikum	Sommersemester 2023	Koordination und Organisation
Praxis der Forschung	Projektgruppe	Wintersemester 2022/23	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Praxis der Softwareentwicklung	Praktikum	Wintersemester 2022/23	Sichere Online-Wahlen mit ElectionGuard und Helios
Forschungspraktikum zu Formale Systeme	Praktikum	Wintersemester 2022/23	Koordination und Organisation
Praxis der Forschung	Projektgruppe	Sommersemester 2022	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
E-Voting	Seminar	Sommersemester 2022	Verifizierte Konstruktion korrekter Wahlverifizierer durch den Theorembeweiser Coq
Praxis der Forschung	Projektgruppe	Wintersemester 2021/22	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Anwendung Formaler Methoden	Seminar	Wintersemester 2021/22	Kombinieren von Modellprüfung und Deduktion
Praxis der Forschung	Projektgruppe	Sommersemester 2021	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Fairness und Diskriminierungs- freiheit aus Sicht von Ethik und Informatik	Seminar	Sommersemester 2021	Koordination und Organisation
Forschungspraktikum zu Formale Systeme II: Anwendung	Praktikum	Sommersemester 2021	Koordination und Organisation
Praxis der Forschung	Projektgruppe	Wintersemester 2020/21 und Sommersemester 2021	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten Formale Sicherheitsanalyse von BlockDAG- Konsensusverfahren als Turnierordnungen
Forschungspraktikum zu Formale Systeme	Praktikum	Wintersemester 2020/21	Koordination und Organisation
Praxis der Forschung	Projektgruppe	Sommersemester 2020	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
E-Voting	Seminar	Sommersemester 2020	Wie lässt sich strategische Manipulation bei Wahlverfahren quantifizieren und vergleichen? Manipulationen von Wahlergebnissen und risikobegrenzende Audits
Forschungspraktikum zu Formale Systeme II: Theorie	Praktikum	Sommersemester 2020	Koordination und Organisation
Fairness und Diskriminierungs- freiheit aus Sicht von Ethik und Informatik	Seminar	Sommersemester 2020	Koordination und Organisation Quantifizieren und Vergleichen algorithmischer Unfairness
Praxis der Forschung	Projektgruppe	Sommersemester 2019	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Formale Methoden und Maschinelles Lernen	Proseminar	Sommersemester 2019	Automatisches Empfehlen von Beweismethoden für Beginner in Isabelle/HOL
Fairness und Diskriminierungs- freiheit aus Sicht von Ethik und Informatik	Seminar	Sommersemester 2019	Koordination und Organisation Techniken zur Erkennung und Evaluierung algorithmischer Diskriminierung Algorithmische Fairness und soziale Gleichheit
Praxis der Forschung	Projektgruppe	Wintersemester 2018/19	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Praxis der Forschung	Projektgruppe	Sommersemester 2018 und Wintersemester 2018/19	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten Ein komponentenbasierter Ansatz zum eigenschaftsorientierten Design von Wahlverfahren
Praxis der Softwareentwicklung	Praktikum	Sommersemester 2018	Blockchain-basiertes E-Voting
Praxis der Forschung	Projektgruppe	Wintersemester 2017/18	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Praxis der Softwareentwicklung	Praktikum	Wintersemester 2017/18	Entwicklung eines relationalen Debuggers
Praxis der Forschung	Projektgruppe	Sommersemester 2017	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten
Deduktive Software-Verifikation – Das KeY-Buch	Proseminar	Sommersemester 2017	Verifikation von Countingsort und Radixsort
Deduktive Software-Verifikation – Von der Theorie zur Anwendung	Seminar	Sommersemester 2017	Abstrakte Interpretation
Informatik trifft Philosophie – die Zukunft von KI	Seminar	Sommersemester 2017	Koordination und Organisation Kognitive Superkräfte Fähigkeitsbeschränkungen zur KI-Kontrolle Axiomatisierung von Werteauswahlkriterien, Entscheidungsverfahren
Praxis der Forschung	Projektgruppe	Wintersemester 2016/17	Zentrale Koordination und Organisation Lehreinheiten zu Literaturrecherche, Forschungsfragen, und Fortschrittsberichten Formale Verifikation von fairem Datenverkehr
Praxis der Softwareentwicklung	Praktikum	Wintersemester 2016/17	Entwicklung eines Werkzeugs zur Analyse formaler Eigenschaften von Wahlverfahren
Desaster in der Software-Sicherheit: Können formale Methoden helfen?	Proseminar	Sommersemester 2016	Automatisches Finden von Exploits mittels Fuzzing und Symbolic Execution Angriffe auf die IT-Sicherheit bei elektronischen Wahlen
Praxis der Forschung	Projektgruppe	Wintersemester 2015/16 und Sommersemester 2016	Kombination von graph-basierter und deduktiver Informationsfluss-Analyse zum Nachweis von Nichtinterferenz
Desaster in der Software-Sicherheit	Proseminar	Wintersemester 2015/16	Paradoxa in Wahlverfahren Sichere elektronische Wahlen