あらゆる分野で利用されている情報技術、それを支えるものはソフトウェアです。大規模・複雑化するソフトウェアを設計・構築することは創造性に富む高度な作業であるとともに手間のかかる作業でもあります。効率的に誤りなくソフトウェアを設計・構築する手法やツールが不可欠であり、現在でも様々な研究が行われています。本研究室では、ソフトウェア自身が自分の挙動を決める、まるで生き物のようなソフトウェアを設計・構築するツールを研究します。したソフトウェアをスマートフォンやWeb上で実現し、様々な先進サービスを提案します。研究概要ソフトウェアを取り巻く外部環境の変化にソフトウェア自身が適応し、その挙動や構成を変化させる自己適応システムのメカニズムの研究やそうしたメカニズムを使った応用システムの研究開発を行っています。信頼性の高いソフトウェアを設計する技術である形式手法(フォーマルメソッド)に関する研究や人がソフトウェア分析設計を行う過程を大脳生理学の見地から分析理解する研究も行っています。