和賀 正樹
ワガ マサキ (Masaki Waga)
更新日: 03/23
基本情報
- 所属
- 京都大学 大学院情報学研究科 助教
- 学位
-
博士（情報学）(2020年9月 総合研究大学院大学)
- 研究者番号
- 00899007
- ORCID ID
https://orcid.org/0000-0001-9360-7490- J-GLOBAL ID
- 202001014513731091
- researchmap会員ID
- R000011083
- 外部リンク
研究分野
1論文
26-
EPiC Series in Computing 90 204-221 2022年12月13日 招待有り
-
ACM Transactions on Cyber-Physical Systems 6(4) 1-26 2022年10月31日 査読有り筆頭著者
-
International Symposium on Automated Technology for Verification and Analysis 25-41 2022年10月21日 査読有り筆頭著者
-
34th International Conference on Computer-Aided Verification 447-468 2022年8月7日 査読有り
-
NASA Formal Methods Symposium 470-488 2022年5月20日 査読有り
-
ACM Transactions on Software Engineering and Methodology 2022年4月25日 査読有り筆頭著者
-
CoRR abs/2207.13446 2022年
-
CoRR abs/2203.13247 2022年
-
ARCH@ADHS 133-152 2021年12月6日
-
24th International Symposium on Formal Methods 313-329 2021年11月10日 査読有り
-
コンピュータセキュリティシンポジウム 2021 (CSS 2021) 2021年10月19日
-
The 21st International Conference on Runtime Verification 100-120 2021年10月6日 査読有り
-
6th IFAC Conference on Analysis and Design of Hybrid Systems 217-222 2021年9月9日 査読有り
-
12th ACM/IEEE International Conference on Cyber-Physical Systems 21-32 2021年5月19日 査読有り筆頭著者責任著者
-
HSCC'20: 23rd ACM International Conference on Hybrid Systems: Computation and Control 11-13 2020年 査読有り
-
GECCO'20: Genetic and Evolutionary Computation Conference 699-707 2020年 査読有り
-
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020 5306-5314 2020年 査読有り
-
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control 272-273 2019年
-
NASA Formal Methods - 11th International Symposium 371-389 2019年 査読有り
-
Formal Modeling and Analysis of Timed Systems - 17th International Conference 3-22 2019年 査読有り
主要な経歴
4学歴
4-
2018年4月 - 2020年9月
-
2016年4月 - 2018年3月
-
2014年4月 - 2016年3月
-
2012年4月 - 2014年3月
委員歴
10受賞
6-
2020年9月
-
2019年9月
講演・口頭発表等
9-
International Symposium on Automated Technology for Verification and Analysis 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
担当経験のある科目(授業)
3-
2021年10月 - 現在
-
2021年4月 - 現在
-
2020年10月 - 2022年3月
Works(作品等)
1-
コンピュータソフト
共同研究・競争的資金等の研究課題
4-
科学技術振興機構 さきがけ 2022年10月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 若手研究 2022年4月 - 2025年3月
-
科学技術振興機構 ACT-X 2020年11月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2018年4月 - 2021年3月