Kazuhiro Inaba

J-GLOBAL         Last updated: Dec 8, 2015 at 15:15
 
Avatar
Name
Kazuhiro Inaba
Nickname
kinaba
E-mail
kikikmonos.net
Affiliation
National Institute of Informatics
Section
Information Systems Architecture Research Division
Job title
Researcher
Degree
Doctor of Computer Science
Research funding number
30570311
Twitter ID
kinaba

Research Areas

 
 

Published Papers

 
T. Soma, N. Kakimura, K. Inaba, K. Kawarabayashi
Proceedings of ICML'14      Jun 2014   [Refereed]
N. Kobayashi, K. Inaba, T. Tsukada
Proceedings of FoSSaCS'14      Apr 2014   [Refereed]
K. Matsuda, K. Inaba, K. Nakano
Higher-Order and Symbolic Computation   25(1) 3-38   Sep 2013   [Refereed]
Journal versoin of PEPM'12 paper.
Kazuhiro Inaba
Programming Symposium 2012 Summer "Beautiful Code" reports   75-82   Jan 2013
K. Matsuda, K. Inaba, and K. Nakano
Proceedings of PEPM'12      Jan 2012   [Refereed]

Books etc

 
Programmers' Grimoire Vol.2
Dave Abrahams, 江添 亮, 小泉 将久, Masahiro Nakagawa, k.inaba, 水島 宏太, shelarcy, 菊池 正史, 近藤 貴俊, 柏田 知洋 (Part:Contributor, The Door To Dependent Types)
Longgate   Oct 2011   ISBN:978-4-9905296-2-8
Programmers' Grimoire Vol.1
Bjarne Stroustrup, 江添亮, 近藤貴俊, Egtra, melpon, 高橋晶, K.Inaba, zak, digitalghost, 津川知朗 (Part:Contributor, Hello,C++ World!)
Longgate   Aug 2010   ISBN:978-4-9905296-0-4
Boost C++ Libraries Programming 2nd Ed.
Kazuhiro Inaba
Shuwa System   Jul 2007   ISBN:4798017043
Google Maps API Ultimate Guide
Kazuhiro Inaba
Mycom   Sep 2006   ISBN:4839921474
Boost C++ Library Programming
Kazuhiro Inaba
Shuwa System   May 2004   ISBN:4798007862

Awards & Honors

 
Apr 2014
EATCS Best Paper Award, ETAPS 2014
 
Jan 2012
Best Paper Award, ACM SIGPLAN PEPM Workshop
 
Apr 2010
9th Funai Research Promotion Award, FFIT
 
Nov 2008
29th Place, Google Code Jam World Finals
 
Sep 2006
2nd Place, ACM-SIGPLAN ICFP Programming Contest
 

Academic & Professional Experience

 
Apr 2011
 - 
Today
Software Engineer, Google Inc.
 
Apr 2009
 - 
Mar 2011
Researcher, National Institute of Informatics
 
Apr 2006
 - 
Mar 2009
PhD Course Student, Graduate School of Computer Science, the University of Tokyo
 
Apr 2004
 - 
Mar 2006
Master Cource Student, Graduate School of Computer Science, the University of Tokyo
 
Apr 2002
 - 
Mar 2004
University of Tokyo, Department of Information Science
 

Research Grants & Projects

 
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2010 - 2013    Investigator(s): Zhenjiang HU
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(挑戦的萌芽研究)
Project Year: 2010 - 2011    Investigator(s): Zhenjiang HU
Japan Society for the Promotion of Science: Grant-in-Aid for JSPS Fellows
Project Year: 2006 - 2008    Investigator(s): Kazuhiro Inaba

Committee Memberships

 
Apr 2015
 - 
Today
Information Technology Standard Commission of Japan  SC 22/C++ WG Member
 
 
 - 
Mar 2014
SAC 2014  PC Member
 
 
 - 
Mar 2014
PPL 2014  PC Member
 
 
 - 
Dec 2013
APLAS 2013  PC Member
 
 
 - 
Jun 2012
TTATT 2012  PC Member
 
 
 - 
Mar 2012
PPL 2012  PC Member
 
 
 - 
Mar 2011
PPL 2011  PC Member
 
 
 - 
Apr 2010
BenchmarX 2010  PC Member
 
 
 - 
Sep 2009
X-Schemas 2009  PC Member