Lamraoui氏博士号取得

Si-Mohamed Lamraouiが本日,総合研究大学院大学より博士(情報学)の学位を授与されました:

  • Formula-based Fault Localization for Imperative Programs with Multiple Faults (Si-Mohamed Lamraoui)

本研究は細部博史が研究代表者を務める科研費基盤研究(B)課題の一環として,研究分担者の中島震・国立情報学研究所/総合研究大学院大学教授の指導のもとで実施されました.
細部博史は本研究の博士論文審査委員も務めました.