Takeo Imai (今井健男)
I’m a software engineer and a researcher at Idein Inc.,
where I’m currently tackling with verification of deep learning models and deep learning compilers (or “graph compilers”).
For the research, I’m jointly working with Ichiro Hasuo, Fuyuki Ishikawa, and other members in Erato MMSD project.
I received my Master’s degree from Akinori Yonezawa at University of Tokyo. Then, I had experienced several years of studying eagerly with Masami Hagiya. Once I was a visiting scientist at MIT, where Daniel Jackson and Michael Ernst co-hosted me.
Deep learning, formal methods, programming languages, maths, and logics.
- Sep 2015: Research Paper Award, Japan Society for Software Science and Technology
- Jul 2015: Knuth Reward Check 0x$1.00