Si-Mohamed Lamraouiが本日，総合研究大学院大学より博士(情報学)の学位を授与されました：
- Formula-based Fault Localization for Imperative Programs with Multiple Faults (Si-Mohamed Lamraoui)
本研究は細部博史が研究代表者を務める科研費基盤研究(B)課題の一環として，研究分担者の中島震・国立情報学研究所/総合研究大学院大学教授の指導のもとで実施されました．
細部博史は本研究の博士論文審査委員も務めました．