Registered user since Tue 8 Nov 2016
I’m a research staff at IBM Research - Tokyo. I am interested in theory and applications of programming languages, such as type theory, program verification, type inference, program reasoning, and so on. The current research theme is to optimize and empower deep learning frameworks such as Caffe, Chainer, and so on.
|Off the Beaten Track 2018||Towards Proof Synthesis by Neural Machine Translation|
|POPL 2018||Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile