- 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 - the Ministry of Education,Culture,Sports,Science & Technology in Japan The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology, Public Understanding Promotion Category
Show all
IEEE Computer Society
, THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, 電子情報通信学会
, 情報処理学会