ソフトウェアは、情報サービス、交通、医療、教育、製造、社会インフラなど、私たちの生活を支えるあらゆる場面で使われています。そのため、ソフトウェアには便利さや効率だけでなく、安全性、信頼性、保守しやすさも強く求められます。本研究室では、複雑なソフトウェアを分かりやすく構成するためのプログラミング技術や、プログラムが安全に動作することを理論的に保証するための手法、プログラムを効率よく実行するための最適化技術を研究しています。これらの研究を通して、将来のソフトウェア開発を支える基盤技術を発展させるとともに、社会で信頼されるソフトウェアを作る力を持った人材の育成を目指します。