Saarland University
حصل على الدكتوراه من جامعة ميونخ التقنية عام 1978. قبل عام 1991 كان أستاذًا لعلوم الكمبيوتر في جامعة دورتموند للتكنولوجيا. ثم التحق بمعهد ماكس بلانك لعلوم الكمبيوتر في ساربروكن بعد فترة وجيزة من تأسيسه في عام 1991. حتى عام 2004 كان مدير قسم البرمجة المنطقية لمعهد ماكس بلانك لعلوم الكمبيوتر والأستاذ الفخري في جامعة سارلاند. أنشأت مجموعته البحثية نظرية مبرمج نظام SPASS الآلي.