Taro Sekiyama  Taro Sekiyama photo       

contact information

Researcher, Deep Computing & Analytics
IBM Research - Tokyo

links

Professional Associations

Professional Associations:  ACM  |  Japan Society for Software Science and Technology

profile


 

I have joined IBM Research - Tokyo since 2016.

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.

 

Academic activies

  • Member of Artifact Evaluation Committee of POPL 2018
  • External Reviewer of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)
  • External Reviewer of post-proceedings of ML Family Workshop 2016