Prof. Dr. Dieter Hutter
Vice Director
Principal Researcher
Honorary Professor at the Bremen University
Office MZH 1350, Bibliothekstr.1, D-28359 Bremen, Germany
Extension (0421) 218 59831
Fax (0421) 218 98 59831
Email hutter'at'dfki.de
Research Formal methods, Security, Change management, Deduction systems,