Rchr
J-GLOBAL ID：201801008284641107   Update date: Jan. 22, 2024

Kobayashi Naoki

コバヤシ ナオキ | Kobayashi Naoki
Affiliation and department：
東京大学 大学院情報理工学系研究科

About 東京大学 大学院情報理工学系研究科


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  (6)：
  • 2015 - 2020 高階モデル検査の深化と発展
  • 2011 - 2015 高階モデル検査とその応用
  • 2008 - 2011 ソフトウェアの安全性向上のための型理論の深化と応用
  • 2005 - 2008 ソフトウェアの安全性向上のための型理論
  • 2002 - 2005 プログラム解析のための統一型理論の構築・検証とそれに基づく解析器の自動合成
Show all
Papers (165)：
  • Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada. HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 2023. 7. POPL. 154-184
  • Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi. On Higher-Order Reachability Games Vs May Reachability. Proceedings of RP 2022. 2022. 108-124
  • Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato. Parameterized Recursive Refinement Types for Automated Program Verification. Proceedings of SAS 2022. 2022. 397-421
  • Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato. Asynchronous Unfold/Fold Transformation for Fixpoint Logic. Functional and Logic Programming - 16th International Symposium(FLOPS). 2022. 39-56
  • Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato. Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. Static Analysis - 28th International Symposium(SAS). 2021. 405-428
ｍore...
MISC (7)：
ｍore...
Books (1)：
  • プログラム意味論の基礎
    サイエンス社 2020
Lectures and oral presentations  (10)：
  • 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)
  • Program Certification by Higher-Order Model Checking
    (CPP 2012 2012)
  • Towards a software model checker for ML
    (ML Workshop 2011)
ｍore...
Education (2)：
  • 1993 - 1993 The University of Tokyo Graduate School of Science
  • 1991 - 1993 The University of Tokyo Graduate School of Science
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 (18)：
  • 2019 - 現在 FSCD 2021 PC Chair
  • 2018 - 現在 LICS 2020 PC Chair
  • 2017 - 現在 LMCS (Logical Methods for Computer Science) Editor
  • 2020 - 2021 POPL 2021 PC member
  • 2020 - 2020 MFCS 2020 PC member
Show all
Awards (7)：
  • 2014 - ETAPS 2014 Best Paper Award (EATCS Best Paper Award) Unsafe Order-2 Tree Languages Are Context-Sensitive
  • 2010 - 日本ソフトウェア科学会 2010年度基礎研究賞 高階関数型プログラムの検証に関する研究
  • 2009 - 第5回日本学術振興会賞
  • 2008 - RTA 2008 Best Paper Award Tree Automata for Non-linear Arithmetic
  • 2006 - 文部科学大臣表彰 若手科学者賞
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

TOP

BOTTOM