コンピュータは炊飯器や携帯電話などの身近な製品から、原発や航空管制システムといった大規模システムなどの至るところに組み込まれています。そのため『大規模なプログラムでも、バグがなく、短期間に作成する』必要性が高まっています。そこで、プログラマーを支援する仕組み（継承、ガーベージコレクションなど）の効率の良い実装方法や、作成したプログラムが仕様を満たすことを示す手法の研究などをしています。