博士（理学）
1988年東京大学博士（理学）を取得。学位論文の題は　「プログラム変換に基づくコンパイラ最適化に関する研究」。