住井 英二郎（すみい えいじろう、1975年 - ）は、日本の計算機科学者。東北大学大学院情報科学研究科教授、日本学術会議連携会員。専門はプログラミング言語理論、型理論、プログラムの形式的検証。特に、プログラム等価性の証明手法である環境双模倣（environmental bisimulation）の研究で知られる。
経歴 筑波大学附属駒場高等学校を卒業後、1998年に東京大学理学部情報科学科を卒業。2004年に同大学より博士（情報理工学）の学位を取得した。東京大学助手、ペンシルベニア大学研究員を経て、2005年に東北大学大学院情報科学研究科助教授に就任。2014年より同研究科教授。
研究 主な研究対象は、二つのプログラムが、どのような実行文脈に組み込まれても観測上区別できないことを意味する「文脈等価性」の証明である。
との共同研究では、型抽象と再帰型を備えたラムダ計算について、文脈等価性を証明する健全かつ完全な双模倣法を構築した。この成果は2005年のPOPLで発表され、2007年に『Journal of the ACM』に掲載された。さらに、、小林直樹との共同研究で、環境双模倣の理論を高階関数や並行計算を含む言語へと展開した。この研究は、2011年の日本IBM科学賞、2012年の船井学術賞、2012年度の日本学術振興会賞などで評価された。日本学術振興会は授賞理由において、並行計算や情報隠蔽を伴うプログラムの等価性証明に関する長年の難問に対する貢献を高く評価している。
また、教育用の関数型プログラミング言語コンパイラ「MinCaml」を開発し、2004年度の未踏ソフトウェア創造事業においてスーパークリエータに認定された。2016年には関数型プログラミングの主要国際会議ICFPのプログラム委員長を務めた。
主な受賞歴 出典： 2010年 - マイクロソフトリサーチ日本情報学研究賞 2011年 - 第25回日本IBM科学賞 2012年 - 第11回船井学術賞 2013年 - 第9回日本学術振興会賞（2012年度） 2014年 - ソフトウエアジャパンアワード
脚注
外部リンク 住井英二郎 - 公式ウェブサイト 住井英二郎 - 東北大学研究者紹介