研究者
J-GLOBAL ID:202001014513731091   更新日: 2024年02月21日

和賀 正樹

ワガ マサキ | Waga Masaki
所属機関・部署:
職名: 助教
ホームページURL (1件): https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
研究分野 (1件): ソフトウェア
研究キーワード (5件): 形式手法 ,  オートマトン学習 ,  実行時検証 ,  モデル検査 ,  時間オートマトン
競争的資金等の研究課題 (4件):
  • 2022 - 2026 品質保証と説明の両立による信頼できる AI の構築技術
  • 2022 - 2025 オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
  • 2020 - 2023 近似的数理モデルによる CPS の動的安全機構
  • 2018 - 2021 物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展
論文 (33件):
  • Junya Shijubo, Masaki Waga, Kohei Suenaga. Probabilistic Black-Box Checking via Active MDP Learning. ACM Transactions on Embedded Computing Systems. 2023. 22. 5s. 148-26
  • Masaki Waga. Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. 35th International Conference on Computer-Aided Verification. 2023. 3-26
  • Masaki Waga, Étienne André, Ichiro Hasuo. Parametric Timed Pattern Matching. ACM Transactions on Software Engineering and Methodology. 2023. 32. 1. 1-35
  • Amit Gurung, Masaki Waga, Kohei Suenaga. Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1). 2023. 33-52
  • Amit Gurung, Masaki Waga, Kohei Suenaga. Learning nonlinear hybrid automata from input-output time-series data. CoRR. 2023. abs/2301.03915
もっと見る
特許 (4件):
講演・口頭発表等 (11件):
  • Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
    (International Conference on Formal Modeling and Analysis of Timed Systems 2023)
  • 信頼されるAI-CPSのためのオートマトン学習によるアプローチ
    (人工知能学会 第125回人工知能基本問題研究会(SIG-FPAI) 2023)
  • Dynamic Shielding for Reinforcement Learning in Black-Box Environments
    (International Symposium on Automated Technology for Verification and Analysis 2022)
  • Parametric Timed Pattern Matching.
    (ソフトウェアエンジニアリングシンポジウム 2022 (SES 2022) 2022)
  • Model-Bounded Monitoring of Hybrid Systems.
    (12th ACM/IEEE International Conference on Cyber-Physical Systems 2021)
もっと見る
Works (1件):
  • FalCAuN
学歴 (4件):
  • 2018 - 2020 総合研究大学院大学 複合科学研究科 情報学専攻
  • 2016 - 2018 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻
  • 2014 - 2016 東京大学 理学部 情報科学科
  • 2012 - 2014 東京大学 教養学部 理科一類
学位 (1件):
  • 博士(情報学) (総合研究大学院大学)
経歴 (5件):
  • 2021/04 - 現在 国立情報学研究所 客員助教 (研究開発連携)
  • 2020/10 - 現在 京都大学 大学院情報学研究科 助教
  • 2023/09 - 2023/09 University Sorbonne Paris Nord LIPN Visiting academic fellow/professor
  • 2018/04 - 2020/09 独立行政法人日本学術振興会 特別研究員 (DC1)
  • 2017/04 - 2020/09 国立情報学研究所 アーキテクチャ科学研究系 リサーチアシスタント
委員歴 (13件):
  • QEST+FORMATS 2024 Track Chair (FORMATS)
  • ATVA 2024 Local Organization Chair
  • FORMATS 2023 Special track chair
  • FORMATS 2023 (also chair of special track on monitoring of cyber-physical systems")" プログラム委員
  • RV 2023 プログラム委員
全件表示
受賞 (6件):
  • 2021/10 - 一般社団法人 情報処理学会 コンピュータセキュリティ研究会(CSEC) CSS2021優秀論文賞 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
  • 2021/10 - 一般社団法人 情報処理学会 コンピュータセキュリティ研究会(CSEC) PWS優秀論文賞 完全準同型暗号を用いた秘匿LTLオンラインモニタリング
  • 2020/09 - 総合研究大学院大学 複合科学研究科長賞
  • 2019/09 - 国立情報学研究所 優秀学生賞
  • 2019/08 - FORMATS 2019 Oded Maler award for the best paper Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
全件表示
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る