Technische Universität Darmstadt
In 1994, he received the Humboldt Senior Scientist Award at the request of Wolfgang Bibel, which included a six-month stay at the Department of Computer Science of the Technische Universität Darmstadt.