和賀 正樹

最終更新日時: 2020/11/17 15:18:15

印刷する

氏名(漢字/フリガナ/アルファベット表記)
和賀 正樹/ワガ マサキ/Waga, Masaki
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/助教
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報理工学) 東京大学 The University of Tokyo
博士(情報学) 総合研究大学院大学 The Graduate University for Advanced Studies, SOKENDAI
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
総合研究大学院大学 The Graduate University for Advanced Studies, SOKENDAI 複合科学研究科情報学専攻博士課程(3年次編入) 修了
東京大学 The University of Tokyo 大学院情報理工学系研究科コンピュータ科学専攻修士課程 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
東京大学 理学部情報科学科 卒業
出身高等学校
高等学校名 ふりがな
開成高校 かいせいこうこう
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
2018/04/01〜2020/09/30 日本学術振興会 Japan Society for the Promotion of Science 特別研究員 (DC1) Research Fellow (DC1)
2017/04/01〜2018/03/31 国立情報学研究所 National Institute of Informatics リサーチアシスタント Research Assistant
2016/12/01〜2017/03/31 東京大学 The University of Tokyo リサーチアシスタント Research Assistant
2020/10/01〜 京都大学情報学研究科 Graduate School of Informatics, Kyoto University 助教 Assistant Professor
使用言語
言語名(japanese) 言語名(english) コード
英語 English eng
日本語 Japanese jpn
ORCID ID
https://orcid.org/0000-0001-9360-7490
researchmap URL
https://researchmap.jp/mwaga
研究テーマ
(日本語)
形式検証手法
(英語)
Formal Verification
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Masaki Waga Masaki Waga Masaki Waga Falsification of cyber-physical systems with robustness-guided black-box checking. Falsification of cyber-physical systems with robustness-guided black-box checking. Falsification of cyber-physical systems with robustness-guided black-box checking. , 11-13 , 11-13 , 11-13 2020 研究論文(国際会議プロシーディングス) 公開
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo Genetic algorithm for the weight maximization problem on weighted automata. Genetic algorithm for the weight maximization problem on weighted automata. Genetic algorithm for the weight maximization problem on weighted automata. , 699-707 , 699-707 , 699-707 2020 研究論文(国際会議プロシーディングス) 公開
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. , 5306-5314 , 5306-5314 , 5306-5314 2020 研究論文(国際会議プロシーディングス) 公開
Masaki Waga, Étienne André Masaki Waga, Étienne André Masaki Waga, Étienne André Online Parametric Timed Pattern Matching with Automata-Based Skipping. Online Parametric Timed Pattern Matching with Automata-Based Skipping. Online Parametric Timed Pattern Matching with Automata-Based Skipping. , 371-389 , 371-389 , 371-389 2019 研究論文(国際会議プロシーディングス) 公開
Masaki Waga Masaki Waga Masaki Waga Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. , 3-22 , 3-22 , 3-22 2019 研究論文(国際会議プロシーディングス) 公開
Masaki Waga, Étienne André, Ichiro Hasuo Masaki Waga, Étienne André, Ichiro Hasuo Masaki Waga, Étienne André, Ichiro Hasuo Symbolic Monitoring Against Specifications Parametric in Time and Data. Symbolic Monitoring Against Specifications Parametric in Time and Data. Symbolic Monitoring Against Specifications Parametric in Time and Data. , 520-539 , 520-539 , 520-539 2019 研究論文(国際会議プロシーディングス) 公開
Étienne André, Ichiro Hasuo, Masaki Waga Étienne André, Ichiro Hasuo, Masaki Waga Étienne André, Ichiro Hasuo, Masaki Waga Offline Timed Pattern Matching under Uncertainty. Offline Timed Pattern Matching under Uncertainty. Offline Timed Pattern Matching under Uncertainty. , 10-20 , 10-20 , 10-20 2018 研究論文(国際会議プロシーディングス) 公開
Masaki Waga, Ichiro Hasuo, Kohei Suenaga Masaki Waga, Ichiro Hasuo, Kohei Suenaga Masaki Waga, Ichiro Hasuo, Kohei Suenaga MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. , 14-15 , 14-15 , 14-15 2018 研究論文(国際会議プロシーディングス) 公開
Masaki Waga, Ichiro Hasuo Masaki Waga, Ichiro Hasuo Masaki Waga, Ichiro Hasuo Moore-Machine Filtering for Timed and Untimed Pattern Matching. Moore-Machine Filtering for Timed and Untimed Pattern Matching. Moore-Machine Filtering for Timed and Untimed Pattern Matching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37, 11, 2649-2660 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37, 11, 2649-2660 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37, 11, 2649-2660 2018 研究論文(学術雑誌) 公開
Masaki Waga, Ichiro Hasuo, Kohei Suenaga Masaki Waga, Ichiro Hasuo, Kohei Suenaga Masaki Waga, Ichiro Hasuo, Kohei Suenaga Efficient Online Timed Pattern Matching by Automata-Based Skipping. Efficient Online Timed Pattern Matching by Automata-Based Skipping. Efficient Online Timed Pattern Matching by Automata-Based Skipping. , 224-243 , 224-243 , 224-243 2017 研究論文(国際会議プロシーディングス) 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
Symbolic Monitoring against Specifications Parametric in Time and Data[招待あり] Symbolic Monitoring against Specifications Parametric in Time and Data [招待あり] Symbolic Monitoring against Specifications Parametric in Time and Data [招待あり] 日本ソフトウェア科学会第37回大会 日本ソフトウェア科学会第37回大会 JSSST 2020 2020/09/10 日本語 口頭発表(招待・特別) 公開
Falsification of cyber-physical systems with robustness-guided black-box checking Falsification of cyber-physical systems with robustness-guided black-box checking Falsification of cyber-physical systems with robustness-guided black-box checking 23rd ACM International Conference on Hybrid Systems: Computation and Control 23rd ACM International Conference on Hybrid Systems: Computation and Control 23rd ACM International Conference on Hybrid Systems: Computation and Control 2020/04 英語 口頭発表(一般) 公開
Symbolic Monitoring against Specifications Parametric in Time and Data Symbolic Monitoring against Specifications Parametric in Time and Data Symbolic Monitoring Against Specifications Parametric in Time and Data 5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS 5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS 5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS 英語 口頭発表(一般) 公開
タイトル言語:
産業財産権 (特許)
発明者 発明者(日本語) 発明者(英語) 発明の名称 発明の名称(日本語) 発明の名称(英語) 審査の段階 番号 年月 公開
和賀 正樹 和賀 正樹 オートマトン生成装置、オートマトン生成方法及びプログラム オートマトン生成装置、オートマトン生成方法及びプログラム 特許出願 特願2020-072577 2020/04/14 公開
和賀 正樹, 蓮尾 一郎 和賀 正樹, 蓮尾 一郎 情報処理装置、情報処理システム及び情報処理方法 情報処理装置、情報処理システム及び情報処理方法 特許出願 特願2018-187340 2018/10/02 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
Best paper award ICECCS 2018 2018/__/__
Oded Maler award for the best paper FORMATS 2019 2019
優秀学生賞 Best Student Award 国立情報学研究所 National Institute of Informatics 2019/09/26
複合科学研究科長賞 Dean Award, School of Multidisciplinary Sciences 総合研究大学院大学 The Graduate University for Advanced Studies (SOKENDAI) 2020/09/28
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
特別研究員奨励費 代表 物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展 2018/04/01〜2021/03/31
外部資金:競争的資金 (科学研究費補助金以外)
制度名 代表者名 研究課題(日本語) 研究課題(英語) 期間
科学技術振興機構 (JST) ACT-X 和賀 正樹 近似的数理モデルによる CPS の動的安全機構 2020/11/01〜2022/03/31