Registered user since Tue 8 Nov 2016
Name: Taro Sekiyama
Bio: 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.
Affiliation: IBM Research, Japan
Personal website: http://researcher.ibm.com/researcher/view.php?person=jp-SEKIYM
Research interests: programming languages, type theory, gradual typing, contracts, effects, deep learning