新井紀子
高橋正子教授主査による論文の題は「On Lengths of Proofs in Propositional Calculi(命題論理における証明の長さの研究)」。2006年から国立情報学研究所教授。また2004年から母校一橋大学で教養の集合と位相や、数理論理学を講じる。
2009年度日本OSS奨励賞受賞。2010年文部科学大臣表彰。2018年2月に刊行した『AI vs.教科書が読めない子どもたち』(東洋経済新報社)により、同年日本エッセイスト・クラブ賞、石橋湛山賞、山本七平賞、大川出版賞、TOPPOINT大賞、翌2019年にビジネス書大賞をそれぞれ受賞。2021年東京都教育委員会委員(2021年6月から2023年9月まで)。内閣府総合科学技術会議ICTワーキンググループ委員、文部科学省科学技術・学術審議会総合政策特別委員会委員、日本学術会議連携会員、国立大学法人一橋大学経営協議会委員、独立行政法人大学評価・学位授与機構運営委員なども務める。