1962年生まれ

国立情報学研究所教授・社会共有知研究センター長

専門は数理論理学、情報科学、数学教育。2011年より人工知能プロジェクト「ロボットは東大に入れるか」プロジェクトディレクタを務める。2016年より読解力を診断する「リーディングスキルテスト」の研究開発を主導。

2006〜2008年　東京工業大学大学院　情報理工学研究科 連携教授
2006年〜　国立情報学研究所　情報社会相関研究系 教授
2006年〜　総合研究大学院大学　複合科学研究科情報学専攻 教授
2008年〜　国立情報学研究所　社会共有知研究センター センター長
2009〜2010年　国際基督教大学 Othmer記念自然科学客員教授

一橋大学法学部　卒業
イリノイ大学 5年一貫制大学院 数学研究科単位取得退学
東京工業大学 博士