和賀 正樹
ワガ マサキ (Masaki Waga)
更新日: 11/26
基本情報
- 所属
- 京都大学 大学院情報学研究科 助教
- 学位
-
博士（情報学）(2020年9月 総合研究大学院大学)
- 研究者番号
- 00899007
- ORCID iD
https://orcid.org/0000-0001-9360-7490- J-GLOBAL ID
- 202001014513731091
- researchmap会員ID
- R000011083
- 外部リンク
研究分野
1論文
49-
The 22nd International Colloquium on Theoretical Aspect of Computing 2025年11月23日
-
ACM Transactions on Embedded Computing Systems 2025年9月30日
-
Lecture Notes in Computer Science 397-416 2025年9月12日
-
The Thirteenth International Conference on Learning Representations 2025年
-
The 24th International Conference on Runtime Verification 59-69 2024年10月12日
-
39th ACM/SIGAPP Symposium On Applied Computing 186-195 2024年5月21日
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2024年
-
CoRR abs/2407.09775 2024年
-
CoRR abs/2405.16767 2024年
-
21st International Symposium on Automated Technology for Verification and Analysis 33-52 2023年10月22日 査読有り
-
Computer Aided Verification - 35th International Conference, Part I 3-26 2023年7月17日 査読有り筆頭著者最終著者責任著者
-
研究報告ゲーム情報学（GI） 2023年3月
-
ARCH 151-169 2023年 招待有り
-
CoRR abs/2308.07930 2023年
-
ACM Transactions on Embedded Computing Systems (5s) 2023年
-
CoRR abs/2301.03915 2023年
-
ACM Transactions on Software Engineering and Methodology (1) 2023年 査読有り筆頭著者
-
EPiC Series in Computing 90 204-221 2022年12月13日 招待有り
主要な経歴
6学歴
4-
2018年4月 - 2020年9月
-
2016年4月 - 2018年3月
-
2014年4月 - 2016年3月
-
2012年4月 - 2014年3月
委員歴
28-
- 2024年10月
-
- 2024年9月
-
- 2024年3月
受賞
9-
2020年9月
-
2019年9月
MISC
1-
システム・制御・情報 = Systems, control and information : システム制御情報学会誌 69(6) 208-213 2025年
講演・口頭発表等
20-
The 22nd International Colloquium on Theoretical Aspects of Computing (ICTAC 2025) 2025年11月27日
-
The 25th International Conference on Runtime Verification (RV 2025) 2025年9月19日
-
The 25th International Conference on Runtime Verification (RV 2025) 2025年9月18日
-
The 8th International Symposium on AI Verification (SAIV 2025) 2025年7月21日 招待有り
-
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月6日
-
The 24th International Conference on Runtime Verification (RV 2024) 2024年10月16日
-
The 24th International Conference on Runtime Verification (RV 2024) 2024年10月15日
-
International Conference on Embedded Software (EMSOFT 2024) 2024年10月2日
-
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023) 2023年9月21日
-
人工知能学会 第125回人工知能基本問題研究会(SIG-FPAI) 2023年8月29日 招待有り
-
International Conference on Computer Aided Verification (CAV 2023) 2023年7月22日
-
International Symposium on Automated Technology for Verification and Analysis (ATVA 2022) 2022年10月26日
-
ソフトウェアエンジニアリングシンポジウム 2022 (SES 2022) 2022年9月6日 招待有り
-
12th ACM/IEEE International Conference on Cyber-Physical Systems 2021年5月20日
-
6th Workshop on Monitoring and Testing of Cyber-Physical Systems 2021年5月18日
-
YR-OWLS (Online Worldwide Seminar on Logic and Semantics) 2021年5月12日 招待有り
-
第 23 回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 2021年3月10日
-
日本ソフトウェア科学会第 37 回大会 2020年9月10日 招待有り
-
23rd ACM International Conference on Hybrid Systems: Computation and Control 2020年4月
-
5th Workshop on Monitoring and Testing of Cyber-Physical Systems
担当経験のある科目(授業)
5-
2023年10月 - 現在
-
2021年10月 - 現在
-
2021年4月 - 現在
-
2020年10月 - 2022年3月
Works(作品等)
1-
コンピュータソフト
共同研究・競争的資金等の研究課題
6-
科学技術振興機構 BOOST 2025年5月 - 2030年4月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2025年4月 - 2030年3月
-
科学技術振興機構 さきがけ 2022年10月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 若手研究 2022年4月 - 2025年3月
-
科学技術振興機構 ACT-X 2020年11月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費 2018年4月 - 2021年3月
主要な産業財産権
7その他
1-
「ATVA 2024 & APLAS 2024: 第22回検証と解析の自動技術に関する国際シンポジウム及び第22回プログラミング言語とシステムに関するアジアシンポジウム」のための国際会議開催助成 (https://www.kyodai-zaidan.or.jp/result/r6/#jyosei02)