Prof. Uwe Nestmann @ TU Berlin

Teaching

summer 07

• Theoretische Grundlagen der Informatik 2
• MTV1: Algebraische Prozesskalküle
• MTV5: The Software Horror Picture Show
• MTV Forschungskolloquium

winter 06/07

• MTV2: Verteilte Algorithmen
• MTV3: Temporale Logik
• MTV Forschungskolloquium

summer 06

• The Software Horror Picture Show
• Theorie Verteilter Systeme: Fehlertolerante Algorithmen
• MTV Forschungskolloquium

winter 05/06

• Theoretische Grundlagen der Informatik 1
• Theorie Verteilter Systeme: Algebraische Prozesskalküle
• (MTV Forschungskolloquium)

spring 05

• Concurrency Semantics (lecturer)

winter 04/05

• Informatique Théorique 3 (lecturer)

spring 04

• Advanced Topics in Programming Languages and Concurrency (cancelled)

winter 03/04

• Automates et Calculabilité (lecturer)
• Concurrency: Theory, Languages and Programming (co-lecturer)

spring 03

• Advanced Topics in Programming Languages and Concurrency (co-lecturer)

winter 02/03

• Concurrency: Theory, Languages and Programming (co-lecturer)

spring 02

• Fondements de la Programmation (co-lecturer)
• Concurrency Theory (lecturer)

winter 01/02

• Theorie des Systèmes Mobiles et Communicants (lecturer)

spring 01

• Informatique II (pour Physique et Génie Mécanique) (local access only) (lecturer)

winter 00/01

• Theorie des Systèmes Mobiles et Communicants (local access only) (lecturer)

spring 00

• Mobile Processes (guest lecturer)

spring 99

• Mobile Processes (guest lecturer)

spring 98

• Specification & Verification (tutor)

winter 95/96

• Foundational Calculi for Type Theory and Concurrency Theory (co-lecturer, supervisor, tutor)

summer 95

• Formal Design of Concurrent Systems (co-lecturer, tutor, oral exams)
• Organisation and Technology of Computer Systems (written exams)
• Foundational Calculi for Type Theory and Concurrency Theory (co-lecturer, supervisor, tutor)
• Computer Science for Natural Scientists (tutor, oral exams)

winter 94/95

• Organisation and Technology of Computer Systems (written exams)
• Foundational Calculi for Type Theory and Concurrency Theory (co-lecturer, supervisor, tutor)
• Computer Science for Natural Scientists (tutor, oral exams)

summer 94

• Formal Design of Concurrent Systems (co-lecturer, tutor, oral exams)
• Organisation and Technology of Computer Systems (written exams)
• Mobile Processes (student seminar series; lecturer, supervisor)
• Computer Science for Natural Scientists (tutor, oral exams)

winter 93/94

• Organisation and Technology of Computer Systems (written exams)
• Computer Science for Natural Scientists (tutor, oral exams)

summer 93

• Formal Design of Concurrent Systems (co-lecturer, tutor, oral exams)
• Mobile Processes (student seminar series; lecturer, supervisor)

winter 92/93

• Communication Systems (tutor, oral exams)

summer 92

• Hybrid Languages for Concurrrent Systems (student seminar series; lecturer, supervisor)

winter 91/92

• Communication Systems (tutor, oral exams)