Contact Details

Principal Investigator

Prof. Dr. Bernhard Beckert
KIT / Institute of Theoretical Informatics
Am Fasanengarten 5
76131 Karlsruhe
Germany
Phone: +49-721-608-44025
Fax: +49-721-608-44021
Email: beckert@kit.edu
Website