Modulcode:	Inf-MS-KAL
Englische Bezeichnung:	Seminar - Cryptography, Automata Theory, Logic
Modulverantwortliche(r):	Prof. Dr. Thomas Wilke
Turnus:	unregelmäßig (WS16/17 SS17 SS18 WS18/19 SS19 WS19/20 SS20 WS20/21 SS21 WS21/22)
Präsenzzeiten:	2S
ECTS:	5
Workload:	30 Std. Präsenz im Seminar, 120 Std. Selbststudium
Dauer:	ein Semester
Modulkategorien:	Sem (MSc Inf (15))
Lehrsprache:	Englisch
Voraussetzungen:

Kurzfassung:

Advanced topics in cryptography, automata theory, and logic are discussed.

Lernziele:

Students

• explain scientific literature of an intermediate level,
• present scientific work to a group of students,
• write scientific documents.

Lehrinhalte:

Topics are individual and are chosen from areas like

• cryptographic protocols,
• automata on infinite words,
• temporal and modal logics.

Weitere Voraussetzungen:

An advanced course (8 LP) on automata theory, logic in computer science, or cryptography.

Prüfungsleistung:

Submission of a portfolio.

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

Depends on the topics chosen.

Verweise:

Kommentar: