国立情報学研究所 社会共有知研究センター長・教授。一般社団法人 教育のための科学研究所 代表理事・所長。東京都出身。一橋大学法学部およびイリノイ大学数学科卒業、イリノイ大学五年一貫制大学院を経て、東京工業大学より博士(理学)を取得。専門は数理論理学。2011年より人工知能プロジェクト「ロボットは東大に入れるか」プロジェクトディレクターを務める。2016年より読解力を診断する「リーディングスキルテスト」の研究開発を主導。科学技術分野の文部科学大臣表彰、日本エッセイスト・クラブ賞、石橋湛山賞、山本七平賞、大川出版賞、エイボン女性教育賞、ビジネス書大賞などを受賞。主著に『数学は言葉』(東京図書)、『コンピュータが仕事を奪う』(日本経済新聞出版社)、『ロボットは東大に入れるか』(新曜社)、『AI vs.教科書が読めない子どもたち』『AIに負けない子どもを育てる』『シン読解力―学力と人生を決めるもうひとつの読み方』(以上、東洋経済新報社)など多数。