Rchr
J-GLOBAL ID:201401093199514640   Update date: May. 24, 2024

Suenaga Kohei

スエナガ コウヘイ | Suenaga Kohei
Affiliation and department:
Job title: Associate Professor
Other affiliations (1):
  • National Institute of Informatics
Homepage URL  (1): http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/
Research field  (1): Software
Research keywords  (8): 静的検証 ,  超準解析 ,  形式手法 ,  型システム ,  ホーア論理 ,  プログラミング言語 ,  無限小プログラミング ,  ハイブリッドシステム
Research theme for competitive and other funds  (16):
  • 2022 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
  • 2021 - 2026 輻射を対象とした次世代熱制御材料の研究開発
  • 2020 - 2025 Research on software contracts for highly interoperable software modules
  • 2020 - 2025 CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems
  • 2019 - 2024 IoT システムのための形式検証手法の深化
Show all
Papers (74):
  • 小林 亮太, 中村 烈士, 五十嵐 淳, 末永 幸平, 小林 直樹. 命令型プログラムの安全性検証のための所有権主導変換. PPL 2024 論文集. 2024
  • Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artif. Intell. 2024. 326. 104045-104045
  • Song Bian, Zian Zhao, Zhou Zhang, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu. HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation. NDSS'24 (To appear). 2024
  • Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata. Control-data separation and logical condition propagation for efficient inference on probabilistic programs. Journal of Logical and Algebraic Methods in Programming. 2024. 136. 100922-100922
  • Junya Shijubo, Masaki Waga, Kohei Suenaga. Probabilistic Black-Box Checking via Active MDP Learning. ACM Transactions on Embedded Computing Systems. 2023
more...
MISC (3):
  • 末永幸平. 昔のネタ帳から. コンピュータソフトウェア. 2022. 39. 2. 2_92-2_93
  • Minchao Wu, Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga. Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning. 2021
  • PLDI 2016 Report. 2017. 34. 1. 58-61
Patents (12):
  • ブラックボックスシステムのテストのためのコンピュータ実装方法及びコンピュータシステム
  • 情報処理装置、情報処理方法および情報処理プログラム
  • 自動証明装置、及びプログラム
  • プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、 プログラム変換器、プログラム変換方 法、プログラム変換のためのコンピュータプログラム、 プログラム製造方法、及び検証用プログラム
  • プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム
more...
Books (2):
  • プログラミング言語の形式的意味論入門
    丸善出版 2023 ISBN:4621307630
  • Encyclopedia of theoretical computer science
    2022 ISBN:9784254122633
Lectures and oral presentations  (54):
  • Learning nonlinear hybrid automata from input-output time-series data
    (ATVA 2023 2023)
  • Probabilistic Black-Box Checking via Active MDP Learning
    (EMSOFT 2023 2023)
  • Formalizing Statistical Causality via Modal Logic
    (JELIA 2023 2023)
  • Probabilistic Black-Box Checking via Active MDP Learning
    (EMSOFT 2023 2023)
  • Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法
    (第49回ゲーム情報学研究発表会 2023)
more...
Education (5):
  • 2005 - 2008 The University of Tokyo The Graduate School of Information Science and Technology Department of Computer Science
  • 2003 - 2005 The University of Tokyo The Graduate School of Information Science and Technology Department of Computer Science
  • 2000 - 2003 The University of Tokyo Faculty of Science Department of Information Science
  • 1998 - 2000 The University of Tokyo College of Arts and Sciences
  • 1995 - 1998 宮崎県立宮崎西高等学校 理数科
Professional career (1):
  • 博士(情報理工学) (東京大学)
Work history (14):
  • 2019/09 - 現在 Social System Design Center Advisor
  • 2019/05 - 現在 SenseTime Japan Ltd. Advisor
  • 2019/05 - 現在 DaiLambda, Inc. Advisor
  • 2017/06 - 現在 Patentfield Inc. Scientific Advisor
  • 2017/04 - 現在 LegalForce Inc. Advisor
Show all
Committee career (25):
  • 2019/04 - 現在 日本ソフトウェア科学会プログラミング論研究会 運営委員
  • 2013/07 - 現在 文部科学省科学技術政策研究所科学技術動向研究センター 専門調査員
  • 2012/02 - 現在 情報処理学会 若手研究者の会
  • 2022/10 - 2023/09 日本ソフトウェア科学会 日本ソフトウェア科学会第40回大会プログラム委員長
  • 2021/05 - 2022/01 POPL 2022 プログラム委員
Show all
Awards (9):
  • 2022/09 - 日本ソフトウェア科学会 指導学生の受賞: 優秀発表賞 スマートコントラクト検証器Helmholtzのためのエラー原因提示手法
  • 2022/03 - 情報処理学会ゲーム情報学研究会 指導学生の受賞:第49回GI研究発表会優秀研究賞 Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法
  • 2021/10 - 情報処理学会コンピュータセキュリティ研究会 (CSEC 研究会) PWS優秀論文賞 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
  • 2021/10 - 一般社団法人 情報処理学会 コンピュータセキュリティ研究会(CSEC) CSS 2021優秀論文賞 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
  • 2013/09 - 京都大学 京都大学学際研究着想コンテスト優秀賞 視覚・聴覚に続く第三の電子媒体「匂い」--その時代に備えるための技術革新と社会環境整備
Show all
Association Membership(s) (3):
IPSJ ,  JSSST ,  ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page