人工知能の分野において、特に処理の正確性を重視したアプローチの研究を進めています。今後、AIに重要な役割を安心して任せるためには、こうした研究が不可欠です。これを支える技術として、並列処理や組合せ最適化問題を高速に解決する手法の開発、仕様が頻繁に変更される状況でも正確さと効率性を両立させながらソフトウェアを開発するための手法を研究しています。
また、AIを活用したプログラム作成支援と、プログラム自体にAI技術を導入?活用する両面から研究を進めており、これらの技術を融合させた新たなアプローチの構築を目指しています。