|
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, |