機能と構成

Study period：2000 - 2005
Organization (1)：
Research supervisor： ( , 情報科学研究科, 教授 )
Research overview：

これからの社会を支える高度な機能を持った情報システムの構築を目指し、そのための構成や構築方法に関して、基本的技術や先進応用事例および基礎となる理論の研究を行うものです。例えば、ソフトウェア、ネットワーク、プロセッサ、分散・実時間・埋め込みシステム、セキュリティ、設計・実装・進化方法論と環境、テスト・検証技術、形式的手法、高信頼性技術、ユーザインタフェースなどの研究を含みます。

Research program：＞＞
Organization with control over the research：