今井 健男

東京大学修士了。東芝、LeapMindを経て、現在Ideinで勤務の傍らNIIの特任研究員も務める。

東芝ではソフトウェア工学、特に形式手法やプログラム解析の研究をしていた。LeapMindにて深層学習用コンパイラの開発を担当、現在は深層学習コンパイラに関する研究開発を行っている。

Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定
今井 健男, 酒井 政裕, 萩谷 昌己 コンピュータ ソフトウェア 30(2) 2_207-2_226 2013年 （日本ソフトウェア科学会第１９回研究論文賞）

深層学習モデルのコンパイルや最適化、変換に対する等価性検証に興味があります。 日本ソフトウェア科学会 機械学習工学研究会の運営委員です。