略歴

• 一橋大学法学部およびイリノイ大学卒業
• イリノイ大学大学院数学科修了　博士（理学）
• 広島市立大学助手
• フィールズ研究所・プリンストン高等研究所客員研究員
• 2006年4月 国立情報学研究所　情報社会相関研究系教授
• 2008年2月 国立情報学研究所社会共有知研究センターセンター長
• 2011年～ 人工知能プロジェクト「ロボットは東大に入れるか」プロジェクトディレクタ

主な専門分野

• 数理論理学（証明論），人工知能

主な学会活動

• 文部科学省小学校段階における論理的思考力や創造性，問題解決能力等の育成とプログラミング教育に関する有識者会議委員（2016年～）
  総合科学技術・イノベーション会議重要課題専門調査会委員（2015年～）
  総合科学技術・イノベーション会議システム基盤技術検討会委員（2015年～）
  ロボット革命イニシャチブ協議会参与（2015年～）
  文部科学省科学技術イノベーション政策における「政策のための科学」推進事業中間評価委員（2015年～）
  文部科学省科学技術政策研究所データ・情報基盤に関する専門委員会委員（2011年～）
  文部科学省科学技術政策研究所データ・情報基盤整備に関する助言委員会委員（2011年～）