Informationen

Allgemeine Informationen zum Informatikstudium an der RWTH-Aachen gibt es im WWW :

• Vorlesungs Informations System VIS
• Studienberatung

Die folgenden Veranstaltungen wurden/werden von mir mit betreut.

Vorlesungen

• Vorlesung "Mathematische Logik", Prof. Grädel. Findet jedes WS statt.
• Vorlesung "Unendliche Spiele und reaktive Programme", Prof. Thomas. WS 98
• Vorlesung "Datenstrukturen und Algorithmen", Prof. Thomas. SS 99

(Pro-)Seminare

• Seminar "Modell Checking", Prof. Grädel. WS 97
• Proseminar "Universelle Berechnungsmodelle und Unentscheidbarkeit", Prof. Thomas. SS 98
• Seminar "Message Sequence Charts", Prof. Thomas. WS 99
• Proseminar "Datenkompression", Prof. Thomas. SS 2000
• Seminar "Logik & Algorithmen", Prof. Grädel. WS2001

Praktika

• Software-Praktikum in Java: "Automaten, Graphen, Simulation". WS 98
• Software-Praktikum in Java: "Visualisierung von Algorithmen". WS 99
• Software-Praktikum in Java: "Visualisierung zellularer Automaten". WS 2000
• Software-Praktikum in Java: "Programme für Layout, Visualisierung und Simulation" SS 2001

Sonstiges

• Arbeitsgemeinschaft Logik in der Informatik, Prof. Baader, Prof. Grädel, Prof. Thomas.