研究者
J-GLOBAL ID：201801008284641107   更新日: 2024年09月19日

小林 直樹

コバヤシ ナオキ | Kobayashi Naoki
所属機関・部署：
東京大学 大学院情報理工学系研究科

東京大学 大学院情報理工学系研究科 について


職名： 教授
ホームページURL (1件)： http://www-kb.is.s.u-tokyo.ac.jp/~koba/
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (4件)： プログラミング言語 ,  型システム ,  高階モデル検査 ,  プログラム検証
競争的資金等の研究課題 (10件)：
  • 2020 - 2025 AI時代を見据えたプログラム検証技術
  • 2020 - 2021 高階不動点論理に基づくプログラム検証
  • 2015 - 2020 高階モデル検査の深化と発展
  • 2011 - 2016 高階モデル検査とその応用
  • 2008 - 2010 ソフトウェアの安全性向上のための型理論の深化と応用
全件表示
論文 (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
もっと見る
書籍 (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
    2024 ISBN:9783031572272
  • 理論計算機科学事典
    朝倉書店 2022 ISBN:9784254122633
  • プログラム意味論の基礎
    サイエンス社 2020
  • Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings
    2015 ISBN:9783662476710
講演・口頭発表等 (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)
もっと見る
学歴 (2件)：
  • 1993 - 1993 東京大学 大学院理学系研究科 情報科学専攻 博士課程(助手就任のため退学)
  • 1991 - 1993 東京大学 大学院理学系研究科 情報科学専攻 修士課程
学位 (1件)：
  • 博士(理学) (東京大学)
経歴 (5件)：
  • 2012/04 - 現在 東京大学 大学院情報理工学系研究科 教授
  • 2004/10 - 2012/03 東北大学 大学院情報科学研究科 教授
  • 2001/01 - 2004/09 東京工業大学 大学院情報理工学研究科 助教授
  • 1996/06 - 2000/12 東京大学 大学院理学系研究科 講師
  • 1993/11 - 1996/05 東京大学 大学院理学系研究科 助手
委員歴 (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 日本ソフトウェア科学会 副理事長
全件表示
受賞 (9件)：
  • 2020/09 - 日本ソフトウェア科学会 フェロー
  • 2020/06 - 情報処理学会 フェロー 高階モデル検査に関する研究およびIFIPに対する貢献
  • 2014 - ETAPS 2014 Best Paper Award (EATCS Best Paper Award) Unsafe Order-2 Tree Languages Are Context-Sensitive
  • 2010 - 日本ソフトウェア科学会 2010年度基礎研究賞 高階関数型プログラムの検証に関する研究
  • 2009 - 第5回日本学術振興会賞
全件表示
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM