- 2022/09 - 情報処理学会 ソフトウェア工学研究会 情報処理学会 卓越研究賞 (SE研究会) Towards scalable model checking of reflective systems via labeled transition systems
- 2022/06 - 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI2022) Best Presentation Award
- 2022/02 - 早稲田大学 WASEDA e-Teaching Award 大賞 C Programming (3)
- 2022/02 - 早稲田大学 早稲田大学ティーチングアワード総長賞 C Programming (3)
- 2021/05 - ICIEA‘ 2021 ICIEA‘ 2021 Excellent Oral Presentation Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model
- 2021/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞 先端スマートシステム技術の普及啓発
- 2019 - 情報処理学会 2019年度情報処理学会SE研究会功績賞受賞 トップエスイープロジェクトの推進
- 2016/09 - 合同エージェントワークショップ&シンポジウム2016 (JAWS2016) 優秀論文賞 自己適応システムのための実行時環境モデル学習手法
- 2016/05 - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016) Best Paper Award Assured and Correct Dynamic Update of Controllers
- 2012/08 - International Academy, Research, and Industry Association SENSORCOMM 2012 Best paper award Classification of Faults in Sensor Readings withStatistical Pattern Recognition
- 2007/07 - DICOMO2007優秀プレゼンテーション賞
- 2006/10 - JAWS2006学生奨励賞
全件表示