Modulcode:	infMSemCAL-01a
Englische Bezeichnung:	Master Seminar - Cryptography, Automata Theory, Logic
Modulverantwortliche(r):	Prof. Dr. Thomas Wilke
Turnus:	jedes Semester (SS23 WS23/24 SS24)
Präsenzzeiten:	2S
ECTS:	5
Workload:	30 h seminar, 120 h self studies
Dauer:	ein Semester
Modulkategorien:	MSc-Inf-Sem (MSc Inf (21)) 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: