Diese Seite auf deutsch  Fachgruppe Informatik RWTH

Prof. Dr. K. Indermark

Chair for Computer Science II

(Programming Languages and Verification)

Design and Implementation of Declarative Languages
Modelling and Verification of Concurrent Systems
Parallel Programming with Algorithmic Skeletons
Master Theses (in german)
Research
Teaching (in german)
Publications
Colloquium Programmiersprachen und Grundlagen der Programmierung (in german)
Jobs (in german)
People
Address
Computer Administration (in german)
VIS Computer Science (in german)
VIS Mathematics (in german)
Prof. Dr. Jürgen Giesl is the chair of the Lehr- und Forschungsgebiet Informatik II.

 Webmaster Disclaimer Last modified: Fri Feb 22 11:46:39 CET 2002