Kohei Suenaga
(末永 幸平)
Modified on: 04/15
Profile Information
- Affiliation
- Associate Professor, Graduate School of Informatics Department of Communications and Computer Engineering, Kyoto University
- National Institute of Informatics
- Degree
-
博士（情報理工学）(東京大学)
- Other name(s) (e.g. nickname)
- KS737006
- Researcher number
- 70633692
- ORCID ID
https://orcid.org/0000-0002-7466-8789- J-GLOBAL ID
- 201401093199514640
- researchmap Member ID
- 7000009238
- External link
He received Ph.D. in Information Science and Technology from the University of Tokyo in 2008. He was a JSPS research fellow, a researcher in IBM Research Tokyo, a postdoctoral researcher at Lisbon University, an assistant professor in Hakubi Center for Advanced Research in Kyoto University. He joined Graduate School of Informatics, Kyoto University in 2013 as an associate professor. He is interested in formal verification of software and hybrid systems.
I love to bring an idea in a research field to a different field. I love to see an interaction between formal verification research and the other research field.
I love to bring an idea in a research field to a different field. I love to see an interaction between formal verification research and the other research field.
Papers
73-
Artif. Intell., 326 104045-104045, Jan, 2024
-
NDSS'24 (To appear), 2024 Peer-reviewed
-
Journal of Logical and Algebraic Methods in Programming, 136 100922-100922, Jan, 2024 Peer-reviewed
-
ATVA 2023, Oct, 2023 Peer-reviewedLast author
-
EMSOFT 2023, Sep, 2023 Peer-reviewedLast author
-
JELIA 2023, Sep, 2023 Peer-reviewedLast author
-
IEEE Transactions on Intelligent Vehicles, 8(4) 3040-3072, Apr, 2023
-
研究報告ゲーム情報学（GI）, 2023-GI-49(13) 1-8, Mar, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文集, Mar, 2023 Peer-reviewed
-
ATVA (1), 33-52, 2023
-
JELIA, 681-696, 2023
-
Journal of Artificial Intelligence (accepted), abs/2208.07074, 2023 Peer-reviewedLast author
-
日本ソフトウェア科学会 第39回大会講演論文集, Sep, 2022
-
日本ソフトウェア科学会 第39回大会講演論文集, Sep, 2022
-
New Generation Computing, 262-280, May 27, 2022 Peer-reviewed
-
CoRR, abs/2210.17130, 2022
-
New Generation Computing, 40(2) 507-540, 2022 Peer-reviewed
-
CAV 2022, 447-468, 2022 Peer-reviewed
-
CAV 2022, 235-256, 2022 Peer-reviewed
Presentations
54-
ATVA 2023, Oct, 2023
-
EMSOFT 2023, Sep, 2023
-
JELIA 2023, Sep, 2023
-
EMSOFT 2023, Sep, 2023
-
第49回ゲーム情報学研究発表会, Mar 17, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar 8, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar 7, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar 6, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar 6, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar 6, 2023
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar 6, 2023
-
US-Japan Seminar on Autonomy AI, Robotics, and Informatics, Oct 11, 2022 Invited
-
2022年電子情報通信学会ソサイエティ大会企画セッション「 AI を含むサイバーフィジカルシステムの背景技術 〜信頼性向上を⽬指して〜」, Sep 6, 2022 Invited
-
日本ソフトウェア科学会第39回大会, Sep 2, 2022
-
日本ソフトウェア科学会第39回大会, Sep 1, 2022
-
CAV 2022, Aug, 2022
-
16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), Apr 3, 2022
-
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）, Mar 8, 2022
-
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）, Mar 6, 2022
Awards
9Teaching Experience
7Committee Memberships
25-
Apr, 2019 - Present
-
Jul, 2013 - Present
-
Feb, 2012 - Present
-
Oct, 2022 - Sep, 2023
-
May, 2021 - Jan, 2022
-
Apr, 2017 - May, 2021
-
Mar, 2018 - Mar, 2019
-
Apr, 2015 - Mar, 2019
-
Mar, 2015 - Mar, 2017
Research Projects
16-
科学研究費助成事業, 基盤研究(B), 日本学術振興会, Apr, 2022 - Mar, 2027
-
官民による若手研究者発掘支援事業／共同研究フェーズ, 国立研究開発法人新エネルギー・産業技術総合開発機構, Apr, 2021 - Mar, 2026
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A), Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2025
-
CREST, JST, Nov, 2020 - Mar, 2025
-
科学研究費助成事業 基盤研究(B), 基盤研究(B), 日本学術振興会, Apr, 2019 - Mar, 2024
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Challenging Research (Exploratory), Japan Society for the Promotion of Science, Jun, 2019 - Mar, 2022
-
科研費・挑戦的研究（萌芽）, Aug, 2019 - Mar, 2022
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Jul, 2015 - Mar, 2020
-
PRESTO, JST, Oct, 2015 - Mar, 2018
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2013 - Mar, 2017
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B), Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2013 - Mar, 2016
-
科学研究費助成事業 研究活動スタート支援, 研究活動スタート支援, 日本学術振興会, Aug, 2012 - Mar, 2014
-
科学研究費助成事業 特別研究員奨励費, 特別研究員奨励費, 日本学術振興会, 2011 - 2013
-
科研費・特別研究員奨励費, 日本学術振興会, Apr, 2011 - Mar, 2012
-
科研費・特別研究員奨励費, 日本学術振興会, Apr, 2007 - Mar, 2009
-
科学研究費助成事業 特別研究員奨励費, 特別研究員奨励費, 日本学術振興会, 2007 - 2008
Industrial Property Rights
12Misc.
3-
コンピュータソフトウェア, 39(2) 2_92-2_93, Apr, 2022 Invited
-
34(1) 58-61, Feb, 2017 Invited
Research History
14-
Sep, 2019 - Present
-
May, 2019 - Present
-
May, 2019 - Present
-
Jun, 2017 - Present
-
Apr, 2017 - Present
-
Oct, 2013 - Present
-
Oct, 2015 - Mar, 2019
-
Apr, 2012 - Sep, 2013
-
Apr, 2011 - Mar, 2012
-
Feb, 2011 - Mar, 2011
-
Apr, 2010 - Jan, 2011
-
Apr, 2009 - Mar, 2010
-
Apr, 2008 - Mar, 2009
-
Apr, 2007 - Mar, 2008
Education
5-
Apr, 2000 - Mar, 2003
-
Apr, 1998 - Mar, 2000
-
Apr, 1995 - Mar, 1998
Research Interests
8Books and Other Publications
2-
丸善出版, Jan 30, 2023 (ISBN: 4621307630) -
Jan, 2022 (ISBN: 9784254122633)
Academic Activities
1-
Planning, management, etc., Panel moderator, session chair, etc.電子情報通信学会, Sep 6, 2022 - Sep 6, 2022
Other
4-
Feb, 2018 - Feb, 2018I am working as a scientific advisor in LegalForce Inc., a legaltech startup that develops an AI-based automated review system for contract documents.
-
2018 - 2018JST の「AI 時代と科学研究の今」シリーズにインタビュー記事が掲載されました． http://www.jst.go.jp/kisoken/jyonetsu/interview/h29/suenaga.html
-
Jun, 2017 - Jun, 2017I am working as a scientific advisor of Patentfield, a Web service that provides an advanced search engine for patent information. https://en.patentfield.com/
-
Apr, 2014 - Apr, 2014I am collaborating with a car company on application of formal methods to car design.
Research Areas
1
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated
Social Activities
10