Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Prof. Dr.-Ing. Uwe Nestmann - Teaching
Last modified: Fri Jun 29 15:36:01 CEST 2007
Teaching
summer 07
Theoretische Grundlagen der Informatik 2
MTV1: Algebraische Prozesskalküle
MTV5: The Software Horror Picture Show
MTV Forschungskolloquium
winter 06/07
summer 06
winter 05/06
spring 05
winter 04/05
spring 04
Advanced Topics in Programming Languages and Concurrency (cancelled)
winter 03/04
spring 03
winter 02/03
spring 02
winter 01/02
spring 01
winter 00/01
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)