http://www-ags.dfki.uni-sb.de/~hutter/

Dieter Hutter is a principal researcher at the German Research Center of Artificial Intelligence (DFKI). He started his career in the area of deduction systems developing strategies for inductive theorem provers.


After receiving his Ph.D in 1991 his interest focused on formal methods working, first on the deductive support for formal methods and later on evolutionary formal program development and change management. Since 2000 he is also engaged in developing information flow control techniques for multi-agent systems and web services. Currently he heads the department for Safe and Secure Systems - Development Technologies at the DFKI.