Am Dienstag haben wir unsere letzten beiden Unterrichtseinheiten und es ist Zeit mal ein kleines Résumé zu ziehen. Wir hatten insgesamt vier Fächer in denen Frontalunterricht stattfand. Von denen wiederum waren zwei ausschließlich Mathematik (Introduction in Information Theory und Theory of Computation), eines im Bereich Software Engineering (Test and Verification) und nur eines aus dem Bereich Informationssicherheit (Malwares and Attacks). Die ersten drei dieser Kurse wurden gemeinsam mit dem Studiengang Computervision and Graphics abgehalten. So schafften wir es immerhin auf fast zehn Studenten. In Malwares and Attacks waren wir ganze drei Studenten (ja, MIT Flo und mir!). Unsere Meinung über die Fächer im Detail:

Introduction into Information Theory: Inhalt dieses Kurses waren in erster Linie die Wahrscheinlichkeitstheorie und Channel Encoding. Die ersten Stunden wurden von einen Doktoranden abgehalten, der leider nicht sehr geübt im lehren war. Die restlichen Einheiten waren um einiges besser. Hier unterrichtete uns John Sørensen, dem man recht deutlich anmerkt, dass er das schon seit Jahrzehnten macht und dementsprechend erfahren ist, schwierige Inhalte so gut wie möglich zu verpacken. Der Inhalt der Vorlesung war rein mathematisch, was die Motivation nicht gerade steigerte. Ich vermute dass sich der Großteil des erworbenen Wissens mangels Anwendung bald wieder verflüchtigen wird. Trotzdem find ich es gut, dieses Thema einmal gehört zu haben.

Theory of Computation: Hier ging es um Mengenlehre, Regular Grammar, (non)-deterministic finite automaton, pushdown automaton und andere so wohlklingende Dinge. Normalerweise würden wir ja sagen, dass wir sowas niemals brauchen würden, aber wie der Zufall es so will macht das einen Großteil von Flos Projekt aus. Auch hier also ein rein mathematischer Stoff. Und auch hier hielt der Doktorand die ersten Vorlesungen ab und wie haben nicht viel vom Inhalt verstanden. Nur wurde es hier nach dem Lehrerwechsel leider nicht viel besser. Der eigentliche Inhalt wurde immer wieder doch Beweise unterbrochen, welche von Vorlesung zu Vorlesung komplexer wurden. Da wir das Beweisen nicht gewohnt waren mussten wir uns sowohl auf den eigentlichen Inhalt als auch auf das Beweisen konzentrieren. Irgendwann verschwamm alles zu einer einzigen riesigen Wolke und wir verstanden nichts mehr. Trotz mehrfacher Kritik wurde am Modus der Vorlesung nichts geändert. Erst als in einem Steering Group Meeting (mehr dazu später) wirklich alle Studenten kollektiv Kritik übten lenkte der Vortragende endlich ein. Leider zu spät - das Meeting war vor der letzten Einheit in diesem Fach. Auch hier gilt, dass ich glaube, dass der Inhalt zu theoretisch ist, als dass ich ihn in nächster Zeit anwenden könnte. Trotzdem schadet es nicht einmal davon gehört zu haben.

Test and Verification: Endlich ein Fach, in dem es nicht ausschließlich um Mathe geht. Hier ging es um das Testen von Systemen und Programmen. Angefangen haben wir mit Concurrent Programming, wo wir verschiedene Implementierungen von Mutexes analysierten und auf liveness und safety überprüften. Weiter ging es mit Modeling, Temporal logic und Model Checking mit Hilfe des Tools Uppaal. Am Ende gab es noch einen sehr kurzen Überblick über Black-Box und Clear-Box Testing. Ich glaube, dass wir aus diesem Kurs sehr viel Wissenswertes mitnehmen können. Vor allem da ich mich ja intensiv mit dem Thema sichere Softwareentwicklung beschöftigen möchte. Der Vortragende Roger Munck-Fairwood gestaltete den Kurs recht gut. Manches hätte man wohl schneller durchnehmen, anderes dafür mehr im Detail besprechen können. Aber das sehen andere vielleicht wieder genau umgekehrt.

Malwares and Attacks: Endlich: unser erstes - und einziges - Fach im Bereich Informationssicherheit. Der Grund dass es nur dieses eine gibt ist, dass wir das erste Semester mitmachen mussten - es hab kein drittes dieses Jahr. In dem Kurs waren wir dann auch ganze drei Studenten, weshalb auch noch die Stunden gekürzt wurden. Jeder von uns vieren (drei Studenten und Vortragender) hielt jeweils ein Viertel der Vorlesungen ab. Die Vorbereitungen für die Vorträge waren mit vernünftigem Aufwand zu schaffen, da die Folien bereits vorgegeben waren. Dass wir die Vorlesungen selbst abhielten war ein sehr interessantes Konzept und funktionierte hervorragend. Durch die kleine Gruppe konnte auch viel über die Themen diskutiert werden. Leider waren die Folien und der Inhalt leider bereits etwas verjährt - der gr0ßteil des Inhaltes stammt aus einem Buch von 2004. Das heißt zwar nicht, dass der Inhalt bereits überholt wäre. Es fehlten allerdings alle neuen Techniken, die Seither von Malware und deren Bekämpfer angewendet werden.

Allgemeines: Um die Qualität an der Aalborg Universität stetig zu verbessern, gibt es hier sogenannte Steering Group Meetings. Dabei handelt es sich um Besprechungen, die in etwa jedes Monat abgehalten werden. Teilnehmer sind die Vortragenden und die Studenten eines Studienganges (in unserem Fall die Studiengänge CNS und CVG gemeinsam). Die Besprechung dient um Feedback zu geben. Sowohl von den Studenten and die Vortragenden und die Universität im Allgemeinen als auch umgekehrt. Dabei werden die einzelnen Projekte der Studenten, die Fächer als auch allgemeine Dinge wie die Infrastruktur besprochen. Dass diese Meetings auch etwas bewirken können sahen wir bei unserem Theory-of-Computation-Vortragenden. Anfangs immun gegen jegliche Kritik lenkte er am Ende doch ein und sah, dass unsere Kritik gerechtfertigt und konstruktiv ist. Wir besprachen dann noch in der gleichen Besprechung Wege, wie der Unterricht besser gestaltet werden könnte.
Dieses System des Feedback-Gebens hat uns sehr gut gefallen, da es beide Seiten dazu zwingt, sich mit der Kritik zu befassen und durch den Dialog auch Missverständnisse aus dem Weg geräumt werden können. Dieses Verfahren funktioniert vermutlich um einiges besser als das rein schriftliche und anonyme Feedback am Ende jedes Semesters in Hagenberg. Dies ermöglicht weder die Kritik genau zu erörtern, noch zwingt es den betroffenen sich mit der Kritik überhaupt zu beschäftigen.

Alles in allem sind wir von dem Unterricht hier etwas endtäuscht. Dies liegt in erster Linie an den gebotenen Fächern. Schließlich haben wir diese Universität extra ausgewählt, weil es hier einen Security-Studiengang gibt. Ein einzelner Kurs über Informationssicherheit wird aber wohl in jedem Informatikstudium angeboten.

Dass der Unterricht jetzt zu Ende geht heißt leider nicht, dass wir jetzt mehr Zeit haben uns mit Dänemark zu beschäftigen. Jetzt heißt es, unsere Projekte voranzutreiben. Am 17. Dezember ist das Abgabedatum für unsere 50-seitige Projektdoku (pro Person). Das heißt wir schreiben jetzt innerhalb eines Monats eine kleine Diplomarbeit. An alle die glauben wir machen hier Urlaub: schön wärs'! 40 Stunden arbeiten zu gehen und dann nicht mehr an das Projekt denken zu müssen wäre deutlich angenehmer.