After successful completion of the course, students are able to
System and failure models, advanced concepts in distributed algorithms (ranodmization, self-stabilization, epistemics, etc.), advanced proof techniques.
After comprehensive introductory lectures with accompanying homework assignments, specific research topics are approached by reading selected scientific publications. Detailed processing of the papers in plenary discussion sessions led by individual participants.
ECTS breakdown (4.5 ECTS = 112.5 hours):
15h Introductory lectures 20h Solution of homework assignments 10h Student sessions 67.5h Paper reading
Assessment of the performance in introductory lession + leading of the student session, homework solutions, and active participation in lectures and student sessions.
Not necessary