## 概要 Universität des Saarlandes(ザールラント大学)の計算機科学教授。Technische Universität Braunschweig で 1997 年に博士号取得。プログラム理解、プログラム解析、自動デバッギング、ソフトウェア可視化を主な研究分野とする。IEEE Computer Society および ACM の会員。 ## 主要貢献 - **デルタデバッギング**([[デルタデバッギング]]): 障害誘発入力を自動的に簡略化・分離する ddmin / dd アルゴリズムを提案。自動デバッギング分野の基礎的業績 - dd' アルゴリズム (1999) で障害誘発コード変更の分離を先行的に提案し、dd (2002) で汎用化 ## wiki 内での言及 - [[@2002__IEEE TSE__Simplifying and Isolating Failure-Inducing Input]] — デルタデバッギングの原著論文(筆頭著者)