Bisherige Lehrveranstaltungen

Wintersemester 2005

• Hauptstudium
  • Vorlesung Model Checking
  • Vorlesung Theory of Control Structures (ENTFÄLLT!)
  • Vorlesung Modelling Concurrent Systems
  • Seminar Global Computing
  • Praktikum Compilerbau
• Grundstudium
  • Proseminar Programmiersprachen
  • Vorlesung Foundations of Informatics - a Bridging Course
• Sonstiges
  • Lehrstuhlseminar
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Sommersemester 2005

• Hauptstudium
  • Vorlesung Compilerbau
  • Vorlesung Probabilistic Models of Concurrency
  • Seminar Validierung Stochastischer Systeme
  • Seminar Modelling, Analysis, and Optimization of Object-Based Systems
  • Seminar Programmanalyse und Compileroptimierung
• Grundstudium
  • Proseminar Petri-Netze
  • Praktikum Haskell
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Wintersemester 2004/2005

• Hauptstudium
  • Vorlesung Programmanalyse und Compileroptimierung
  • Vorlesung Semantics of Programming Languages
  • Seminar Message Sequence Charts
  • Seminar Validierung Stochastischer Systeme
  • Praktikum Compilerbau
• Grundstudium
  • Vorlesung Automaten, Sprachen und Komplexität
  • Proseminar Programmiersprachen
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Sommersemester 2004

• Hauptstudium
  • Vorlesung Compilerbau
  • Seminar Logikprogrammierung
  • Seminar Formal Models of Concurrency
• Grundstudium
  • Praktikum Haskell
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Wintersemester 2003/2004

• Hauptstudium
  • Vorlesung Logikprogrammierung
  • Vorlesung Formal Models of Concurrency
  • Seminar Analyse und Optimierung imperativer und funktionaler Programme
• Grundstudium
  • Proseminar Websprachen
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Sommersemester 2003

• Hauptstudium
  • Vorlesung Programmanalyse und Compileroptimierung
  • Seminar Compilerbau
  • Praktikum Compilerbau
• Grundstudium
  • Vorlesung Automatentheorie und Formale Sprachen
  • Praktikum Haskell
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Wintersemester 2002/2003

• Hauptstudium
  • Vorlesung Compilerbau
  • Vorlesung Semantik von Programmiersprachen
• Grundstudium
  • Vorlesung Programmierung (Java)
  • Proseminar Spezifikationssprachen für Verteilte Systeme
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Sommersemester 2002

• Hauptstudium
  • Vorlesung Programmschemata
  • Vorlesung Implementierung objekt-orientierter Sprachen
  • Seminar Deklarative Programmiersprachen
  • Seminar Message Sequence Charts
• Grundstudium
  • Softwarepraktikum Funktionales Programmieren in Haskell
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Wintersemester 2001/2002

• Hauptstudium
  • Vorlesung Logikprogrammierung
  • Vorlesung Programmierung (Java)
  • Vorlesung Programmierung Verteilter Systeme
  • Seminar Software Model Checking
• Grundstudium
  • Proseminar Websprachen
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Sommersemester 2001

• Hauptstudium
  • Vorlesung Programmanalyse
  • Seminar Hierarchische Modelle und Verifikationsverfahren für Verteilte Systeme
• Grundstudium
  • Vorlesung Automatentheorie und Formale Sprachen
  • Softwarepraktikum Funktionales Programmieren in Haskell
  • Praktikum Compilerbau
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Wintersemester 2000/2001

• Hauptstudium
  • Vorlesung Compilerbau
  • Vorlesung Modellierung Verteilter Systeme
  • Seminar Analyse und Optimierung von Programmen
• Grundstudium
  • Proseminar Programmiersprachen
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Sommersemester 2000

• Hauptstudium
  • Vorlesung Logikprogrammierung
  • Vorlesung Semantik von Programmiersprachen
  • Seminar Programmiersprachen und Verifikation
• Grundstudium
  • Softwarepraktikum Funktionales Programmieren in Haskell
• Sonstiges
  • Arbeitsgemeinschaft Implementierung funktionaler Programmiersprachen
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Wintersemester 1999/2000

• Hauptstudium
• Grundstudium
  • Proseminar Programmierwerkzeuge unter Unix
  • Praktikum Verteilte Programmierung in Erlang
• Sonstiges
  • Arbeitsgemeinschaft Implementierung funktionaler Programmiersprachen
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Sommersemester 1999

• Hauptstudium
  • Vorlesung Grundlagen der Funktionalen Programmierung
  • Seminar Implementierungstechniken für Verifikationstools
• Grundstudium
  • Vorlesung Automatentheorie und Formale Sprachen
  • Softwarepraktikum Funktionales Programmieren in Haskell
• Sonstiges
  • Arbeitsgemeinschaft Implementierung funktionaler Programmiersprachen
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Wintersemester 1998/1999

• Hauptstudium
  • Vorlesung Compilerbau
  • Vorlesung Semantik und Verifikation verteilter Systeme
  • Seminar Traces
• Grundstudium
  • Proseminar Spezifikationssprachen
• Sonstiges
  • Arbeitsgemeinschaft Implementierung funktionaler Programmiersprachen
  • Arbeitsgemeinschaft Programmanalyse
  • Kurs LaTeX-Einführung

Sommersemester 1998

• Hauptstudium
  • Vorlesung Compileroptimierung
  • Vorlesung Prinzipien von Programmiersprachen
  • Seminar Funktionale Programmierung
• Grundstudium
  • Vorlesung Grundzüge der Theoretischen Informatik
  • Proseminar Programmiersprachen
  • Softwarepraktikum Funktionales Programmieren in Haskell
  • Praktikum Nebenläufige Programmierung in Erlang
• Sonstiges
  • Arbeitsgemeinschaft Implementierung funktionaler Programmiersprachen
  • Arbeitsgemeinschaft Modellierung Verteilter Systeme

Wintersemester 1997/1998

• Hauptstudium
  • Vorlesung Grundlagen der Funktionalen Programmierung
  • Seminar Theorie paralleler Prozesse
• Grundstudium
• Sonstiges
  • Arbeitsgemeinschaft Implementierung funktionaler Programmiersprachen
  • Arbeitsgemeinschaft Modelling Concurrent Systems

Sommersemester 1997

• Hauptstudium
  • Vorlesung Theorie paralleler Prozesse
  • Seminar Theorie objektorientierter Programmiersprachen und ihrer Typsysteme
• Grundstudium
  • Softwarepraktikum Funktionales Programmieren in Haskell
• Sonstiges
  • Arbeitsgemeinschaft Programmtransformationen
  • Arbeitsgemeinschaft Modelling Concurrent Systems

Wintersemester 1996/1997

• Hauptstudium
  • Vorlesung Compilerbau
  • Seminar Semantik und Verifikation verteilter Systeme
• Grundstudium
• Sonstiges
  • Arbeitsgemeinschaft Parallele und deklarative Programmierung
  • Arbeitsgemeinschaft Programmtransformationen

Sommersemester 1996

• Hauptstudium
  • Seminar Prozeßkalküle
  • Lehrstuhlseminar Informatik II
  • Softwarepraktikum Funktionales Programmieren in Haskell
• Grundstudium
  • Vorlesung Grundzüge der Theoretischen Informatik
  • Softwarepraktikum Funktionales Programmieren in Haskell
• Sonstiges
  • Arbeitsgemeinschaft Parallele und deklarative Programmierung

Wintersemester 1995/1996

• Hauptstudium
  • Vorlesung Funktionale Programmierung
  • Vorlesung Parallele Prozeßkalküle
  • Seminar Parallele Programmiermodelle
• Grundstudium
• Sonstiges

Sommersemester 1995

• Hauptstudium
  • Seminar Prozeßkalküle
  • Praktikum Compilerentwicklung mit Tools
• Grundstudium
  • Praktikum Funktionales Programmieren in Miranda
• Sonstiges
  • Arbeitsgemeinschaft Attributierte Grammatiken

Wintersemester 1994/1995

• Hauptstudium
  • Vorlesung Compilerbau
  • Seminar Compileroptimierung
• Grundstudium
• Sonstiges
  • Arbeitsgemeinschaft Deklarative und parallele Programmierung
  • Arbeitsgemeinschaft Attributierte Grammatiken

Sommersemester 1994

• Hauptstudium
  • Vorlesung Parallele Programmierung
  • Vorlesung Programmschemata
  • Seminar Logikprogrammierung
  • Praktikum Prolog-Programmierkurs
• Grundstudium
• Sonstiges
  • Arbeitsgemeinschaft Deklarative und parallele Programmierung

Wintersemester 1993/1994

• Hauptstudium
  • Vorlesung Logikprogrammierung
  • Seminar Funktionale Programmierung
  • Praktikum Funktionales Programmieren in Miranda
• Grundstudium
  • Praktikum Funktionales Programmieren in Miranda
• Sonstiges
  • Arbeitsgemeinschaft Deklarative und parallele Programmierung

Sommersemester 1993

• Hauptstudium
  • Vorlesung Funktionale Programmierung
  • Seminar Implementierungstechniken deklarativer Programmiersprachen
  • Seminar Attributierte Grammatiken
  • Praktikum Compilerbau
• Grundstudium
• Sonstiges
  • Arbeitsgemeinschaft Deklarative und parallele Programmierung