Courses Summer Semester 2003

In Summer Semester 2003 I have attended the following courses.

Computer Science

• Verfahren zur automatischen Verifikation (Prof. Walther)
• Konzepte der Programmiersprachen (Prof. Mezini)
• Systementwurf mit Mikroprozessoren (Prof. Hoffmann)
• Virtual Machines and Just-In-Time Compilation (Michael Haupt) [Seminar]
• Lokale Suchverfahren (Dr. Stützle) [Praktikum]

Mathematics

• Kategorientheorie (Prof. Streicher)
• Bereichstheorie und Anwendungen (Matthias Kegelmann) [Seminar]
• Logik für Informatiker [Tutor]