- 2023/11 - IEEE International Conference on E-Business Engineering (ICEBE) 2023 Best Paper Award Enterprise Architecture-based Metamodel for a Holistic Business - IT Alignment View on Machine Learning Projects
- 2023/03 - 日本工業教育協会 第27回工学教育賞・経済産業省産業技術環境局長賞 スマートエスイー:スマートシステム&サービス技術の産学連携イノベーティブ人材育成
- 2018/08 - 日本ソフトウエア科学会 ソフトウェア論文賞 シーケンス図を用いたモデル検査支援ツールcsp-seq
- 2017/09 - 日本ソフトウェア科学会 解説論文賞 モデル検査による設計検証
- 2015/11 - The Tenth International Conference on Software Engineering Advances (ICSEA 2015) Best Paper Award Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function
- 2015/06 - the First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15) Best Paper Award Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program
- 2012/04 - 文部科学省 文部科学大臣表彰, 平成24年度科学技術分野, 理解増進部門 先端ソフトウェア技術の普及啓発
全件表示