1504数理・情報 計測誤差があるセンサーを使っても安全に動くように 制御ソフトウェアを自動で変換する手法を開発
自動運転をはじめとした外部環境とやり取りするさまざまな制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動で変換する手法を開発した。
1504数理・情報
2001原子炉システムの設計及び建設
1702地球物理及び地球化学
1700応用理学一般
2004放射線利用
1700応用理学一般
1702地球物理及び地球化学
0502有機化学製品
1604情報ネットワーク
0505化学装置及び設備
0403電子応用
1900環境一般