Kobayashi Naoki

コバヤシナオキ | Kobayashi Naoki

Affiliation and department：
Job title：教授
Homepage URL (1)： http://www-kb.is.s.u-tokyo.ac.jp/~koba/

Research field (2)： Software , Information theory

Research keywords (4)： programming languages , type systems , higher-order model checking , program verification

Research theme for competitive and other funds (10)：

2020 - 2025 Program Verification Techniques for the AI Era
2020 - 2021 Program Verification Based on Higher-Order Fixpoint Logic
2015 - 2020 Refinement and Extension of Higher-Order Model Checking
2011 - 2016 Higher-Order Model Checking and its Applications
2008 - 2010 Advancement and Application of Type Theory for Improving Software Safety

Show all

Papers (181)：

Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi. Borrowable Fractional Ownership Types for Verification. VMCAI (2). 2024. 224-246
Izumi Tanaka, Ken Sakayori, Naoki Kobayashi. Ownership Types for Verification of Programs with Pointer Arithmetic. PEPM. 2024. 94-106
Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato. Productivity Verification for Functional Programs by Reduction to Termination Verification. PEPM. 2024. 70-82
Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato. Asynchronous unfold/fold transformation for fixpoint logic. Sci. Comput. Program. 2024. 231. 103014-103014
Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato. Higher-Order Property-Directed Reachability. Proceedings of the ACM on Programming Languages. 2023. 7. ICFP. 48-77

ｍore...

Books (4)：

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings
Springer 2024 ISBN:9783031572272
Encyclopedia of theoretical computer science
2022 ISBN:9784254122633
プログラム意味論の基礎
サイエンス社 2020
Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings
Springer 2015 ISBN:9783662476710

Lectures and oral presentations (12)：

On Type-Based Techniques for Program Manipulation
(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022) 2022)
An Overview of the HFL Model Checking Project
(HCVS 2021 2021)
10 Years of the Higher-Order Model Checking Project
(21st International Symposium on Principles and Practice of Programming Languages (PPDP 2019) 2019)
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)

ｍore...

Education (2)：

Professional career (1)：

Work history (5)：

2012/04 - 現在 The University of Tokyo The Graduate School of Information Science and Technology
2004/10 - 2012/03 Tohoku University Graduate School of Information Sciences
2001/01 - 2004/09 Tokyo Institute of Technology Graduate School of Information Science and Engineering
1996/06 - 2000/12 The University of Tokyo Graduate School of Science
1993/11 - 1996/05 The University of Tokyo Graduate School of Science

Committee career (27)：

2024 - 現在 FoSSaCS: Steering Committee Member
2021 - 現在 LICS: Steering Committee Member
2021 - 現在 TheoretiCS: Editorial Board Member
2017 - 現在 LMCS (Logical Methods for Computer Science) Editor
2024/07 - 2025/06 Japan Society for Software Science and Technology Vice Chair of Directors

Show all

Awards (9)：

2020/09 - Japan Society for Software Science and Technology Fellow
2020/06 - Information Processing Society of Japan Fellow
2014 - ETAPS 2014 Best Paper Award (EATCS Best Paper Award) Unsafe Order-2 Tree Languages Are Context-Sensitive
2010 - 日本ソフトウェア科学会 2010年度基礎研究賞高階関数型プログラムの検証に関する研究
2009 - 第5回日本学術振興会賞

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page