小林 直樹

J-GLOBALへ         更新日: 19/09/29 15:38
 
アバター
研究者氏名
小林 直樹
URL
http://www-kb.is.s.u-tokyo.ac.jp/~koba/
所属
東京大学
部署
大学院情報理工学系研究科
職名
教授
学位
博士(理学)(東京大学)
科研費研究者番号
00262155

研究分野

 
 

経歴

 
2012年4月
 - 
現在
東京大学 大学院情報理工学系研究科 教授
 
2004年10月
 - 
2012年3月
東北大学 大学院情報科学研究科 教授
 
2001年1月
 - 
2004年9月
東京工業大学 大学院情報理工学研究科 助教授
 
1996年6月
 - 
2000年12月
東京大学 大学院理学系研究科 講師
 
1993年11月
 - 
1996年5月
東京大学 大学院理学系研究科 助手
 

学歴

 
1993年4月
 - 
1993年11月
東京大学 大学院理学系研究科 情報科学専攻 博士課程(助手就任のため退学)
 
1991年4月
 - 
1993年3月
東京大学 大学院理学系研究科 情報科学専攻 修士課程
 

委員歴

 
2018年
 - 
現在
LICS 2020 プログラム委員長
 
2017年
 - 
現在
LMCS(Logical Methods in Computer Science)編集委員
 
2014年
 - 
現在
Fundamenta Informaticae編集委員
 
2016年
 - 
2019年
FSCD Steering Committee member
 
2005年
 - 
2019年
FoSSaCS 2005,2009,2013,2019 PC member
 
2009年
 - 
2018年
ESOP 2010,2018 PC member
 
2002年
 - 
2017年
CONCUR 2003,2016,2017 PC member
 
2015年
 - 
2016年
FSCD 2016 PC member
 
2014年
 - 
2015年
ICALP 2015 TrackB PC Chair
 
2014年
 - 
2015年
CPP 2015 PC member
 
2004年
 - 
2015年
POPL 2005,2011,2015 PC member
 
2013年
 - 
2014年
CSL-LICS 2014 PC member
 
2004年
 - 
2011年
APLAS 2005,2006 (Chair),2008,2011 PC member
 
2009年
 - 
2010年
LICS 2008,2010,2012 PC member
 
2009年
 - 
2010年
FLOPS 2010 General Chair
 

受賞

 
2014年
ETAPS 2014 Best Paper Award (EATCS Best Paper Award) Unsafe Order-2 Tree Languages Are Context-Sensitive
受賞者: Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
 
2010年
日本ソフトウェア科学会 2010年度基礎研究賞 高階関数型プログラムの検証に関する研究
 
2009年
第5回日本学術振興会賞
 
2008年
RTA 2008 Best Paper Award Tree Automata for Non-linear Arithmetic
受賞者: Naoki Kobayashi, Hitoshi Osaki
 
2006年
文部科学大臣表彰 若手科学者賞
 

論文

 
Temporal Verification of Programs via First-Order Fixpoint Logic
Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi and Hiroshi Unno
Proceedings of SAS 2019, Springer LNCS 11822      2019年10月   [査読有り]
A Temporal Logic for Higher-Order Functional Programs
Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi
Proceedings of SAS 2019, Springer LNCS 11822      2019年10月   [査読有り]
小林 直樹
Proceedings of PPDP 2019   2:1-2:2   2019年10月   [招待有り]
NaokiKobayashi, Ugo Dal Lago, Charles Grellois
Proceedings of LICS 2019   1-15   2019年6月   [査読有り]
Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
Logical Methods in Computer Science   15(1)    2019年2月   [査読有り]
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi
Proceedings of PEPM 2019, ACM   22-34   2019年1月   [査読有り]
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi
Proceedings of PEPM 2019, ACM   47-53   2019年1月   [査読有り]
小林 直樹
Theor. Comput. Sci.   777 409-416   2019年   [査読有り]
Kazuyuki Asada, Naoki Kobayashi
Proceedings of FSTTCS 2018, LIPIcs 122   14:1-14:15   2018年12月   [査読有り]
Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada
Procceedings of APLAS 2018, LNCS 11275   223-241   2018年12月   [査読有り]
Adrien Champion, Naoki Kobayashi, Ryosuke Sato
Procceedings of APLAS 2018, LNCS 11275   146-156   2018年12月   [査読有り]
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April   711   2018年   [査読有り]
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thes   365   2018年   [査読有り]
Naoki Kobayashi, Cosimo Laneve
Inf. Comput.   252 48   2017年   [査読有り]
Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala,   53   2017年   [査読有り]
Kazuyuki Asada, Naoki Kobayashi
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland   97:1   2017年   [査読有り]
Ryosuke Sato, Naoki Kobayashi
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29,   831   2017年   [査読有り]
Naoki Kobayashi, {É}tienne Lozes, Florian Bruse
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017   246   2017年   [査読有り]
Ryota Suzuki, Koichi Fujima, Naoki Kobayashi, Takeshi Tsukada
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK   32:1   2017年   [査読有り]
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Sci. Comput. Program.   137 2   2017年   [査読有り]
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017   59   2017年   [査読有り]
Kazuyuki Asada, Naoki Kobayashi
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy   111:1   2016年   [査読有り]
Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016   146   2016年   [査読有り]
Taku Terao, Takeshi Tsukada, Naoki Kobayashi
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings   295   2016年   [査読有り]
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016   243   2016年   [査読有り]
Xin Li, Naoki Kobayashi
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings   304   2016年   [査読有り]
Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings   335   2016年   [査読有り]
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   57   2016年   [査読有り]
Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings   295   2015年   [査読有り]
Naoki Kobayashi, Xin Li
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015   713   2015年   [査読有り]
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
JIP   23(6) 827   2015年   [査読有り]
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
Mathematical Structures in Computer Science   25(4) 841   2015年   [査読有り]
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II   287   2015年   [査読有り]
Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings   313   2015年   [査読有り]
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015   61   2015年   [査読有り]
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13,   392   2014年   [査読有り]
Taku Terao, Naoki Kobayashi
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings   354   2014年   [査読有り]
Naoki Kobayashi
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday   128   2014年   [査読有り]
Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara
Data Compression Conference, DCC 2014, Snowbird, UT, USA, 26-28 March, 2014   434   2014年   [査読有り]
Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,   149   2014年   [査読有り]
Elena Giachino, Naoki Kobayashi, Cosimo Laneve
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings   63   2014年   [査読有り]
Takeshi Tsukada, Naoki Kobayashi
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,   180   2014年   [査読有り]
Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings   312   2014年   [査読有り]
Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013   75   2013年   [査読有り]
Koichi Fujima, Sohei Ito, Naoki Kobayashi
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings   17   2013年   [査読有り]
Naoki Kobayashi
J. ACM   60(3) 20:1   2013年   [査読有り]
Naoki Kobayashi
28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013   398   2013年   [査読有り]
Christopher H. Broadbent, Naoki Kobayashi
Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy   129   2013年   [査読有り]
Naoki Kobayashi, Atsushi Igarashi
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 20   431   2013年   [査読有り]
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013   53   2013年   [査読有り]

講演・口頭発表等

 
10 Years of the Higher-Order Model Checking Project [招待有り]
小林 直樹
21st International Symposium on Principles and Practice of Programming Languages (PPDP 2019)   2019年10月9日   
On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification [招待有り]
小林 直樹
HOR 2018   2018年   
On Two Higher-Order Extensions of Model Checking [招待有り]
小林 直樹
FTSCS 2016   2016年   
Program Certification by Higher-Order Model Checking [招待有り]
小林 直樹
CPP 2012   2012年   
Higher-Order Model Checking: From Theory to Practice [招待有り]
小林 直樹
LICS 2011   2011年   
Towards a software model checker for ML [招待有り]
小林 直樹
ML Workshop   2011年   
Higher-Order Program Verification and Language-Based Security [招待有り]
小林 直樹
ASIAN 2009   2009年   
Types and Recursion Schemes for Higher-Order Program Verification [招待有り]
小林 直樹
APLAS 2009   2009年   
Substructural Type Systems for Program Analysis [招待有り]
小林 直樹
FLOPS 2008   2008年   
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness [招待有り]
小林 直樹
IFIP TCS 2000   2000年   

競争的資金等の研究課題

 
高階モデル検査の深化と発展
日本学術振興会: 基盤研究(S)
研究期間: 2015年4月 - 2020年3月    代表者: 小林 直樹
高階モデル検査とその応用
日本学術振興会: 基盤研究(S)
研究期間: 2011年4月 - 2015年3月    代表者: 小林 直樹
ソフトウェアの安全性向上のための型理論の深化と応用
日本学術振興会: 基盤研究(A)
研究期間: 2008年4月 - 2011年3月    代表者: 小林 直樹
ソフトウェアの安全性向上のための型理論
日本学術振興会: 基盤研究(B)
研究期間: 2005年4月 - 2008年3月    代表者: 小林 直樹
プログラム解析のための統一型理論の構築・検証とそれに基づく解析器の自動合成
日本学術振興会: 若手研究(A)
研究期間: 2002年4月 - 2005年3月    代表者: 小林 直樹