Dieter Hutter |
|
|
Dr. Dieter Hutter Principal Researcher DFKI GmbH Deduction and Multi-Agent-Systems Stuhlsatzenhausweg 3 D-66123 Saarbrücken Germany Tel: +49 681 302 5317 Fax: +49 681 302 2235 email: hutter@dfki.de |
Dieter Hutter has been engaged in inductive theorem proving, deductive support for formal methods, and reuse of proofs and specifications. More informations can be found on my homepage.
My public key is available here
| Letze Änderung: 5.9.2006 |