SoSe 2026
Missing (medical excuse): 3Missing (no reason): 4Reported Aug 31, 2026
FB20 Computer Science · Offered in SoSe 2026
Average of averages
2.50
Every semester counts equally, whatever its size.
Pooled average
2.50
Weighted by cohort size — what an arbitrary student across all semesters scored.
Pass rate
89%
Share of results at 4.0 or better. 4.0 is the last passing grade.
Semesters with data
1
The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.
Missing (medical excuse): 3Missing (no reason): 4Reported Aug 31, 2026
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
- formale Modellierung sicherheitskritischer Systeme in Prädikatenlogik - Theoretische Grundlagen von Zugriffskontrollen und Informationsflusskontrollen - formale Modellierung von Sicherheitseigenschaften in Prädikatenlogik - Unterscheidung von qualitativen und quantitativen Sicherheitseigenschaften - Entscheidbarkeits- und Komplexitätsresultate für Sicherheitseigenschaften - Verifikation von Sicherheitsgarantien in verteilten Systemen - Auswirkung von Komposition und Verfeinerung auf Sicherheitsgarantien - formale Sprachen zur Beschreibung von Sicherheitspolitiken und deren Semantik - Zertifizierung sicherheitskritischer Systeme
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong