研究者
J-GLOBAL ID：201401093199514640   更新日: 2025年11月24日

末永 幸平

スエナガ コウヘイ | Suenaga Kohei
所属機関・部署：
京都大学 大学院情報学研究科 通信情報システム専攻

京都大学 大学院情報学研究科 通信情報システム専攻 について


職名： 准教授
その他の所属（所属・部署名・職名） (1件)：
  • 国立情報学研究所  客員准教授
ホームページURL (2件)： https://ksuenaga.github.io/index_ja.html ,  https://ksuenaga.github.io/
研究分野 (1件)： ソフトウェア
研究キーワード (8件)： 静的検証 ,  超準解析 ,  形式手法 ,  型システム ,  ホーア論理 ,  プログラミング言語 ,  無限小プログラミング ,  ハイブリッドシステム
競争的資金等の研究課題 (16件)：
  • 2025 - 2030 AIを含むソフトウェアのための形式検証手法
  • 2024 - 2029 宇宙線による誤動作の克服に向けた次世代集積システムの信頼性評価基盤技術の開発
  • 2024 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
  • 2024 - 2027 信頼できる統計のための形式検証技術
  • 2021 - 2026 輻射を対象とした次世代熱制御材料の研究開発
全件表示
論文 (71件)：
  • Kengo Irie, Masaki Waga, Kohei Suenaga. Active Learning of Symbolic Mealy Automata. ICTAC 2025. 2026
  • Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo. Componentwise Automata Learning for System Integration. ATVA 2025. 2026
  • Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga. Efficient Black-Box Checking with Specification-Guided Abstraction. ACM Transactions on Embedded Computing Systems. 2025
  • Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga. StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CAV 2025 (To appear). 2025. abs/2405.17492
  • Chiao Hsieh, Masaki Waga, Kohei Suenaga. Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis. HSCC 2025 (To appear). 2025
もっと見る
MISC (3件)：
特許 (13件)：
もっと見る
書籍 (2件)：
  • プログラミング言語の形式的意味論入門
    丸善出版 2023 ISBN:4621307630
  • 理論計算機科学事典
    朝倉書店 2022 ISBN:9784254122633
講演・口頭発表等 (57件)：
  • 画像分類モデルの解釈性向上のための明瞭なヒートマップの生成手法
    (第116回 産研テクノサロン 2025)
  • Efficient Black-Box Checking with Specification-Guided Abstraction
    (EMSOFT 2025 2025)
  • 制御フロー仕様から生成したペトリネットに基づくハードウェア誤動作検出手法
    (DAシンポジウム 2024 2024)
  • Learning nonlinear hybrid automata from input-output time-series data
    (ATVA 2023 2023)
  • Probabilistic Black-Box Checking via Active MDP Learning
    (EMSOFT 2023 2023)
もっと見る
学歴 (5件)：
  • 2005 - 2008 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻博士課程
  • 2003 - 2005 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻修士課程
  • 2000 - 2003 東京大学 理学部 情報科学科
  • 1998 - 2000 東京大学 教養学部 理科一類
  • 1995 - 1998 宮崎県立宮崎西高等学校 理数科
学位 (1件)：
  • 博士(情報理工学) (東京大学)
経歴 (14件)：
  • 2019/09 - 現在 一般社団法人 社会システムデザインセンター アドバイザー
  • 2019/05 - 現在 株式会社センスタイムジャパン 技術顧問
  • 2019/05 - 現在 ダイラムダ株式会社 技術顧問
  • 2017/06 - 現在 Patentfield 株式会社 科学技術顧問
  • 2017/04 - 現在 LegalForce Inc. 技術顧問
全件表示
委員歴 (28件)：
  • 2013/07 - 現在 文部科学省科学技術政策研究所科学技術動向研究センター 専門調査員
  • 2012/02 - 現在 情報処理学会 若手研究者の会
  • 2025/04 - MLSE 2025 プログラム委員
  • 2025/04 - DSW 2025 プログラム委員
  • 2022/10 - 2023/09 日本ソフトウェア科学会 日本ソフトウェア科学会第40回大会プログラム委員長
全件表示
受賞 (9件)：
  • 2022/09 - 日本ソフトウェア科学会 指導学生の受賞: 優秀発表賞 スマートコントラクト検証器Helmholtzのためのエラー原因提示手法
  • 2022/03 - 情報処理学会ゲーム情報学研究会 指導学生の受賞:第49回GI研究発表会優秀研究賞 Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法
  • 2021/10 - 情報処理学会コンピュータセキュリティ研究会 (CSEC 研究会) PWS優秀論文賞 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
  • 2021/10 - 一般社団法人 情報処理学会 コンピュータセキュリティ研究会(CSEC) CSS 2021優秀論文賞 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
  • 2013/09 - 京都大学 京都大学学際研究着想コンテスト優秀賞 視覚・聴覚に続く第三の電子媒体「匂い」--その時代に備えるための技術革新と社会環境整備
全件表示
所属学会 (3件)：
IPSJ ,  JSSST ,  ACM
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM