以下の 3 分野について主に研究しています。
- 計算科学（数学や物理学の問題に対するコンピュータによる解決方法の研究）
- コンピュータ支援による教育の可能性の研究
- 効率的な基盤ソフトウェアを実現するための研究
- 大規模計算機シミュレーションによる惑星間空間・プラズマの研究：小川
スーパーコンピューターを用いた大規模数値シミュレーションにより，惑星間空間・プラズマの諸現象を研究します。また，そのための多階層シミュレーションコードを開発します。
- 非同期e-Learningにおける動画像を用いた課題に基づく本人確認手法：高橋
e-Learning主体で行う遠隔授業での本人確認の手法を研究し，実践を通じた評価を行うことで，効果的なシステムの構築方法を確立することを目指します。
- TAの役割をになう知的エージェントシステムの開発：高橋
教員が作成した作業手順書とパソコンの操作知識に基づき、パソコン画面上で動作してTAのように行きづまった学習者にアドバイスを与えることが可能な知的エージェントシステムの開発を目指します。
- 第二プログラミング言語シミュレーション：高野
言語を理解するとはどういうことかをコンピュータでシミュレーションする方法について研究しています。
- 制約式に適した SMT ソルバの自動選択・オートチューニング：高野
ソフトウェアの性質を制約として与えて、プログラムを検証する手法について研究しています。与えられた制約に対して短かい求解時間が期待できるソルバを、機械学習の仕組みを用いて自動で選択する手法を開発しています。
学外研究機関との共同研究
- 宇宙天気シミュレーション：小川
独立行政法人情報通信研究機構（田光江）
- 多階層複合物理的な観点による核融合プラズマ研究：小川
大学共同利用機関法人自然科学研究機構核融合科学研究所（宇佐見俊介）
- 先進的計算機環境を用いたシミュレーション技法：小川
大学共同利用機関法人自然科学研究機構核融合科学研究所（大谷寛明）