情報システムを設計、開発、試験、運用するための研究活動を行っています。具体的には次のような問題に取り組んでいます。

• 良いプログラムを書くためにはどうするか。
• そもそもプログラムが良いとはどういうことか。
• どのような環境でプログラムを書くか。
• プログラムの設計をどうするか。
• プログラムが設計の通りに動くことをどうやって検証するか。
• プログラミング活動をプロジェクトとしてまとめるにはどうするか。
• ネットワーク、データベース、オペレーティングシステム、ハードウェア、インフラストラクチャーなどをプログラムからどうやって利用するか。
• 信頼性、安全性、拡張性、保守性、移行性などの非機能要件をどうやって担保するか。
• コストとスケジュールとクオリティの三竦みをいかに調停するか。