和賀 正樹

Last Update: 2020/11/17 15:18:15

Print

Name(Kanji/Kana/Abecedarium Latinum)
和賀 正樹/ワガ マサキ/Waga, Masaki
Primary Affiliation(Org1/Job title)
Graduate Schools Informatics/Assistant Professor
Faculty
Org1 Job title
工学部
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(情報理工学) 東京大学 The University of Tokyo
博士(情報学) 総合研究大学院大学 The Graduate University for Advanced Studies, SOKENDAI
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
総合研究大学院大学 The Graduate University for Advanced Studies, SOKENDAI 複合科学研究科情報学専攻博士課程(3年次編入) 修了
東京大学 The University of Tokyo 大学院情報理工学系研究科コンピュータ科学専攻修士課程 修了
Academic Resume (Undergraduate School/Majors)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Completion Status
東京大学 理学部情報科学科 卒業
High School
Highschool Kana
開成高校 かいせいこうこう
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
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
Language of Instruction
Language(japanese) Language(english) Code
英語 English eng
日本語 Japanese jpn
ORCID ID
https://orcid.org/0000-0001-9360-7490
researchmap URL
https://researchmap.jp/mwaga
Research Topics
(Japanese)
形式検証手法
(English)
Formal Verification
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
É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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
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 Refereed Research paper(scientific journal) Disclose to all
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 Refereed Research paper(international conference proceedings) Disclose to all
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
Symbolic Monitoring against Specifications Parametric in Time and Data[Invited] Symbolic Monitoring against Specifications Parametric in Time and Data [Invited] Symbolic Monitoring against Specifications Parametric in Time and Data [Invited] JSSST 2020 日本ソフトウェア科学会第37回大会 JSSST 2020 2020/09/10 Japanese Oral presentation(invited, special) Disclose to all
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 English Oral presentation(general) Disclose to all
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 English Oral presentation(general) Disclose to all
Title language:
Industrial Property Rights (Patent)
Inventor(s) Inventor(s) (Japanese) Inventor(s) (English) Title Title(Japanese) Title(English) Stage Patent number Date Disclose
和賀 正樹 和賀 正樹 オートマトン生成装置、オートマトン生成方法及びプログラム オートマトン生成装置、オートマトン生成方法及びプログラム 特許出願 特願2020-072577 2020/04/14 Disclose to all
和賀 正樹, 蓮尾 一郎 和賀 正樹, 蓮尾 一郎 情報処理装置、情報処理システム及び情報処理方法 情報処理装置、情報処理システム及び情報処理方法 特許出願 特願2018-187340 2018/10/02 Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
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
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
特別研究員奨励費 Representative 物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展 2018/04/01-2021/03/31
External funds: other than those above
System Main person Title(Japanese) Title(English) Period
科学技術振興機構 (JST) ACT-X 和賀 正樹 近似的数理モデルによる CPS の動的安全機構 2020/11/01-2022/03/31