東京都出身。一橋大学法学部およびイリノイ大学数学科卒業、イリノイ大学5年一貫制大学院を経て、東京工業大学より博士（理学）を取得。専門は数理論理学2011年より人工知能プロジェクト「ロボットは東大に入れるか」プロジェクトディレクタを務める。2016年より読解力を診断する「リーディングスキルテスト」の研究開発を主導。科学技術分野の文部科学大臣表彰、Netexplo Award、日本エッセイストクラブ賞、石橋湛山賞、山本七平賞、大川出版賞などを受賞。主著に「生き抜くための数学入門」（イーストプレス）、「数学は言葉」（東京図書）、「AI vs.教科書が読めない子どもたち」（東洋経済新報社）。
テーマ別ジャンル： AI・IoT
