小川 瑞史 (Mizuhito Ogawa)教授
情報科学系,知能ロボティクス領域
◆学位
博士(理学) 東京大学
◆職歴
: NTT電気通信研究所・研究員(1985-2001)、科学技術振興事業団・研究員(2002-2003)
: 北陸先端科学技術大学院大学・特任教授(2003-2007), 北陸先端科学技術大学院大学・教授(2007-), 国立情報学研究所・客員教授(2008-)
◆専門分野
形式的検証手法の理論的基礎および応用の研究を進めています。具体的な検証手法は定理証明とモデル検査を中心とし、プログラム解析やセキュリティプロトコル検証への応用を行っています。関連する理論的基礎として、組み合わせ理論に基づく効率的検証アルゴリズム、非線形項書換系、形式言語における決定可能性について研究を進めています。
◆研究キーワード
プログラム解析, ソフトウェア検証
◆研究課題
大規模Javaプログラムのコンテキスト依存解析
重み付プッシュダウンモデル検査に基づく Java のコンテキスト依存解析を設計・実装する。特に、オブジェクト指向言語におけるコンテキスト依存解析の基本となる Points-to 解析の新たなアルゴリズムを提案し、現在、10000メソッド程度を目標に実装を進めている。実装は前処理として SOOT による中間言語Jimple への変換、ならびにバックエンドとして Weighted PDS ライブラリを用いる。









■研究業績

◆発表論文
On Classes of Regular Languages Related to Monotone WQOs.
Mizuhito Ogawa,Victor L. Selivanov
Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings, 235-247, 2019
Comparison of Three Deep Learning-based Approaches for IoT Malware Detection.
Khanh Duy Tung Nguyen,Tran Minh Tuan,Son Hai Le,Viet-Anh Phan,Mizuhito Ogawa,Nguyen Le Minh
10th International Conference on Knowledge and Systems Engineering, KSE 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018, 382-388, 2018
raSAT: an SMT solver for polynomial constraints.
Array,To Van Khanh,Mizuhito Ogawa
Formal Methods in System Design, 51, 3, 462-499, 2017/12
Packer identification based on metadata signature
PROCEEDINGS OF THE 7TH SOFTWARE SECURITY, PROTECTION, AND REVERSE ENGINEERING WORKSHOP 2017 (SSPREW), -, 2017
Subtropical Satisfiability.
Pascal Fontaine,Mizuhito Ogawa,Thomas Sturm 0001,Xuan-Tung Vu
CoRR, abs/1706.09236, 189-206, 2017
◆Misc
モデル検査技術を利用したプログラム解析器の生成ツール
山岡 裕司, 胡振江, 武市 正人, 小川 瑞史
情報処理学会論文誌プログラミング(PRO), 44, 13, 25-37, 2003/10/15
◆講演・口頭発表
raSAT: SMT for Polynomial Inequality
To Van Khanh, Vu Xuan Tung and Mizuhito Ogawa
12th International Workshop on Satisfiability Modulo Theories (SMT2014), TU Wien, Wien Austria, 2014/07/18
Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
Masahiko Sakai, Michio Oyamaguchi and Mizuhito Ogawa
IWC 2014 (3rd International Workshop on Confluence, TU Wien, Wien Austria, 2014/07/13

■担当講義

情報代数, グラフとオートマトン理論, 数理論理学

■学外活動

◆所属学会
日本ソフトウェア科学会, 情報処理学会, Association for Computing Machinary
◆学術貢献活動
10th IEEE RIVF International Conference on Computing and Communication Technologies (RIVF-2013) , Thanh-Thuy Nguyen・教授(副学長)・VNU-UET, Vietnam、小川瑞史・教授・JAIST, Japan (PC co-chairs) , 2013/11/10 - 2013/11/13 , Hanoi, Vietnam http://uet.vnu.edu.vn/rivf2013/
11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) , Hung Dang-Van・教授・UET-VNU Hanoi, Vietnam、小川瑞史・教授・JAIST, Japan (PC co-chairs) , 2013/10/15 - 2013/10/18 , Hanoi, Vietnam http://www.uet.vnu.edu.vn/atva2013/index.htmlProceedings appeared as Springer LNCS 8172