この間、2012年4月から2018年3月までは研究開発部長の任にありました。その前には、1993年1月から2011年3月まで東京大学教授を務めました。設立し工学系研究科から移り、2004年から2007年まで同研究科の研究科長を務めました。1987年に東京大学の前には、電気通信大学に10年間勤めました。2003年から日本学術会議の会員、2011年10月~2013年4月には副会長を務めました。2014年9月に会員任期を終えて、連携会員になりました。大学ではソフトウェア科学と数理情報学の教育研究にあたっていました。その後、7年間、機構において、大学等の教育研究の評価、高等教育と学位、および高等教育の質保証のあり方に関する調査研究の統括を行うとともに、一部の研究を担当しました。これまでの研究論文等はPublicationsから参照いただけます。正当性を保証するプログラムの変換は、関数プログラミング言語のコンパイラの最適化で大きな役割を果しており、系統的な扱いが求められる。一般に、運算に基づくプログラム変換はモジュラー性に優れ、実現が容易であり、コンパイラに埋め込むことができる。プログラム運算は効率のよいアルゴリズムの開発にも有用である。われわれは新しいアルゴリズムを系統的に導出する手法を開発している。効率のよい正しい並列アルゴリズムの開発は逐次的なものの開発よりもかなり難しい。われわれは逐次的プログラムを運算による並列化手法を提案し、それがコンパイラによる並列化と並列プログラミングに有効であることを確認した。その手法を適用して、並列スケルトンによる効率的な並列プログラミングを支援するスケルトン(矩体)並列プログラミング環境を開発している。われわれは、この問題にプログラム逆転とプログラム変換手法によるあらたな枠組みで取り組み、関数型言語と領域向けの双方向結合子による言語を設計した。双方向計算のための一般的な枠組みを開発し、効率的で信頼性の高い文書処理への応用に焦点をあてた研究を進めている。高等教育の質保証と学位に関する。