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