Suenaga Kohei

スエナガコウヘイ | Suenaga Kohei

Affiliation and department：
Job title： Associate Professor
Other affiliations (1)：

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 (15)：

2024 - 2029 Development of foundational technology for reliability assessment of next-generation integrated systems to overcome cosmic ray-induced malfunctions
2024 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
2024 - 2027 Formal verification methods for trustworthy statistics
2021 - 2026 輻射を対象とした次世代熱制御材料の研究開発
2020 - 2025 Research on software contracts for highly interoperable software modules

Show all

Papers (77)：

小林亮太, 中村烈士, 五十嵐淳, 末永幸平, 小林直樹. 命令型プログラムの安全性検証のための所有権主導変換. PPL 2024 論文集. 2024
Yusuke Kawamoto 0001, Kentaro Kobayashi, Kohei Suenaga. StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CoRR. 2024. abs/2405.17492
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian 0001, Kohei Suenaga. Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR. 2024. abs/2405.16767
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. 2023. 1445-1445

ｍore...

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 (13)：

ｍore...

Books (2)：

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)

ｍore...

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)：

Show all

Committee career (25)：

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