今井 健男

氏名
今井 健男
Takeo Imai
所属
Idein 株式会社/国立情報学研究所
職名
エンジニア / 特任研究員
経歴
東京大学修士了。東芝、LeapMindを経て、現在Ideinで勤務の傍らNIIの特任研究員も務める。
実務経験・研究分野
東芝ではソフトウェア工学、特に形式手法やプログラム解析の研究をしていた。LeapMindにて深層学習用コンパイラの開発を担当、現在は深層学習コンパイラに関する研究開発を行っている。
論文・著書・解説など
Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定
今井 健男, 酒井 政裕, 萩谷 昌己 コンピュータ ソフトウェア 30(2) 2_207-2_226 2013年 (日本ソフトウェア科学会第19回研究論文賞)
プロフィール
深層学習モデルのコンパイルや最適化、変換に対する等価性検証に興味があります。 日本ソフトウェア科学会 機械学習工学研究会の運営委員です。