小林 直樹 更新日: 19/09/29 15:38
経歴
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年度基礎研究賞 高階関数型プログラムの検証に関する研究
2008年
RTA 2008 Best Paper Award Tree Automata for Non-linear Arithmetic
受賞者: Naoki Kobayashi, Hitoshi Osaki
論文
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月 代表者: 小林 直樹
