On this page, I'll keep track of the courses I've visited and
the grades I've received, so that I always know, in which areas
I have to attend more courses.
Theoretische Informatik
|
| Einführung in die Kryptographie |
J. Buchmann |
V4+Ü2 |
WS02/03 |
1.0 |
| Algorithmisches Modellieren |
Weihe |
V2+Ü2 |
WS02/03 |
1.0 |
| Complexity of Computation |
Anne Condon |
3.0 cr |
T2 (SS04) |
A+ |
Praktische Informatik
|
| Fortgeschrittene objekt-orientierte Entwurfstechniken |
Mezini |
V2+Ü2 |
WS02/03 |
1.0 |
| Konzepte der Programmiersprachen |
Mezini |
V2 |
SS03 |
1.0 |
| Graphenalgorithmen |
Waldschmidt |
V4+Ü2 |
WS02/03 |
? |
| Topics in Programming Languages |
Kris De Volder |
3.0 cr |
T1 (WS03) |
A+ |
Angewandte Informatik
|
| Verfahren zur automatischen Programmverifikation |
C. Walther |
V2+Ü2 |
SS03 |
? |
| Topics in Databases: Data Mining |
Raymond Ng |
3.0 cr |
T1 (WS03) |
A+ |
| Computational Geometry |
David Kirkpatrick |
3.0 cr |
T1 (WS03) |
A+ |
| Animation Physics |
Robert Bridson |
3.0 cr |
T2 (SS04) |
A+ |
Technische Informatik
|
| Systementwurf mit Mikroprozessoren |
Hoffmann |
V2+Ü2 |
SS03 |
1.0 |
| Integrated Systems (Verifikation) |
Alan Hu |
3.0 cr |
T2 (SS04) |
A+ |
Studienleistungen
|
| Rollenkonzepte in FlexiTrust |
J. Buchmann / Lippert |
P4 |
WS01/02 |
1.0 |
| Lokale Suchverfahren |
Stützle |
P4 |
SS03 |
? |
| JIT-Compiler und Virtuelle Maschinen |
Mezini/Haupt |
S2 |
SS03 |
1.0 |
Nebenfach Mathematik
|
| Analysis III |
Hieber |
V4+Ü2 |
WS00/01 |
? |
| Einführung in die Algebra |
Keimel |
V2+Ü2 |
WS02/03 |
2.0 |
| To-Topologie und Bereichstheorie |
Kegelmann |
V2+Ü2 |
WS02/03 |
? |
| Anwendungen von Bereichstheorie |
Kegelmann |
S2 |
SS03 |
? |
| Kategorientheorie |
Streicher |
V2+Ü1 |
SS03 |
? |