湊　真一

Minato, Shin-ichi

1996 - 2026

北海道大学大学院情報科学研究科教授。大規模離散構造データの表現と処理アルゴリズムの研究・教育に従事。京都大学大学院博士課程修了。博士（工学）。1990年度より2003年度までNTT研究所に勤務。1997年米国スタンフォード大学客員研究員(1年間)。2004年4月北海道大学助教授、2010年10月より同教授。著書 "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer, 1995年) 他。2012年8月～2013年4月日本科学未来館メディアラボ第11期展示「フカシギの数え方」出展。電子情報通信学会シニア会員、情報処理学会シニア会員、IEEE、人工知能学会各会員。