湊 真一

京都大学 大学院 情報学研究科 通信情報システムコース コンピュータアルゴリズム研究室 教授．（工学部 情報学科 計算機科学コース 兼担）．大規模離散構造データの表現と演算処理アルゴリズムの研究・教育に従事．石川県出身．1984年 金沢大学附属高校 卒業．1988年 京都大学 工学部 情報工学科 卒業．1990年 同大学院修士課程, 1995年 同博士後期課程（社会人）修了．博士（工学）．1990年度より2003年度まで NTT研究所に勤務．1997年1月～12月 米国スタンフォード大学 計算機科学科 客員研究員．1999年 NTT未来ねっと研究所 主任研究員．2004年度より北海道大学 大学院 情報科学研究科 助教授（2007年准教授に名称変更）．2010年10月より同教授．2018年度より京都大学 教授（現職）．

1999～2000年度 慶應義塾大学 環境情報学部 非常勤講師（兼務）．2009年10月～2016年3月 科学技術振興機構（JST） ERATO湊離散構造処理系プロジェクト 研究総括（兼務）．2011年度より早稲田大学 先進グリッド技術研究所 招聘研究員（兼務）．2014年度より 国立情報学研究所 客員教授（兼務）．2018～2024年度 北海道大学電子科学研究所 附属社会創造数学研究センター 客員教授（兼務）．2017年10月より日本学術会議 連携会員（兼務）．2018～2020年度および2021～2024年度 情報処理学会 理事（兼務）．2020年度 京都大学 工学部 情報学科長（兼務）．2023年度より京都大学 情報環境機構 副機構長（兼務）．2023～2024年度 情報学科・専攻協議会 会長（兼務）．2025年度より京都大学 大学院情報学研究科 副研究科長（兼務）．2026年度より京都大学交響楽団 副音楽部長（兼務）．

2000年度 情報処理学会 山下記念研究賞，2009年度 電子情報通信学会 情報・システムソサイエティ論文賞（先見論文），2022年度 文部科学大臣表彰 科学技術賞（研究部門），2026年 情報処理学会 功績賞 受賞．著書 "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer, 1995年)．Knuthの世界的名著 "The Art of Computer Programming" (Vol.4, Fascicle 1, 2009年) において，湊が考案したデータ構造「ZDD」が独立項目として詳しく解説されている（日本人初）．2012年8月～2013年4月 日本科学未来館 メディアラボ 「フカシギの数え方」展示監修（監修したアニメ動画が300万ビュー超を記録）．2014～2018年度 JST さきがけ「社会と調和した情報基盤技術の構築」領域アドバイザ．2016～2020年度 JST ACT-I「情報と未来」領域アドバイザ．2020～2024年度 科研費 学術変革領域(A)「アルゴリズム基盤」領域代表者．2023～2027年度 JST ACT-X「次世代AI・数理情報」領域アドバイザ．

2020年度 Journal of Information Processing (JIP) 編集長．国際会議 ISAAC 2023 Conference Chair，SASIMI 2025 TPC Chair，SASIMI 2027 General Chair．情報処理学会フェロー，電子情報通信学会，IEEE 各シニア会員，人工知能学会，日本計算機統計学会 各会員．