研究領域の概要

　これからの社会を支える高度な機能を持った情報システムの構築を目指し、そのための構成や構築方法に関して、基本的技術や先進応用事例および基礎となる理論の研究を行うものです。

　例えば、ソフトウェア、ネットワーク、プロセッサ、分散・実時間・埋め込みシステム、セキュリティ、設計・実装・進化方法論と環境、テスト・検証技術、形式的手法、高信頼性技術、ユーザインタフェースなどの研究を含みます。

---

領域アドバイザー

青山　幹雄　南山大学数理情報学部 教授 (H13.4〜H18.3)
阿草　清滋　名古屋大学大学院情報科学研究科 研究科長/教授
市川　晴久　日本電信電話(株)NTT先端技術総合研究所 所長
岩野　和生　日本アイ・ビー・エム(株) 取締役 (H12.4〜H13.3)
菊野　　亨　 大阪大学大学院情報科学研究科 教授
中島　秀之　公立はこだて未来大学 学長
南谷　　崇　 東京大学先端科学技術研究センター 教授
湯淺　太一　京都大学大学院情報学研究科 教授
米崎　直樹　東京工業大学大学院情報理工学研究科 教授

※所属・役職は領域終了時

"機能と構成"パンフレットはこちら(PDF：約800KB)

	氏名	課題名	その他情報
一期生 (12年度)	小川　瑞史	効率的で正しいプログラムの自動生成	ビデオ
	河合　栄治	超高速I/O指向オペレーティングシステム	ビデオ
	グリュック　ロバート	超計算：ソフトウェア自動生産のための新領域探求	ビデオ
	河野　真治	理論領域と実用領域を結ぶ新しいプログラミング単位	ビデオ
	関口　龍郎	インターコミュニュケーション・プログラミング	ビデオ、JTSニュース
	リチャード　リーポッター	計算状態パーソナル・スクラップブック	ビデオ
二期生 (13年度)	青木　利晃	オブジェクト指向分析モデルの形式的構築法と検証法	ビデオ
	神谷　年洋	オブジェクトとメディアによるソフトウェア構造化	ビデオ
	亀山　幸義	プログラムのメタレベルを表現・操作する言語機構	ビデオ
	胡　振江	スケルトン並列プログラムの最適化	ビデオ
	田中　清史	実時間マルチタスク処理を支援するプロセッサアーキテクチャ	ビデオ
	中島　震	高信頼性Webサービス	ビデオ
	橋本　政朋	ユビキタス環境を支えるプログラミング言語システム	ビデオ
三期生 (14年度)	飯田　弘之	探索と知識の融合がもたらす知能の創造と進化	ビデオ、ものがたり
	井口　寧	ハードウェア・プログラミングによる超細粒度並列処理	ビデオ
	大崎　人士	刺激応答型実時間システムの自動検証技術：安全性・信頼性技術の開発	ビデオ、JSTニュース 、MEXT
	デファゴ　クサビエ	大規模分散アルゴリズム開発及び性能評価のツール構築	ビデオ
	丹羽　純平	広域分散共有メモリ機構を支援する最適化コンパイラ	ビデオ
	長谷川　真人	プログラミング言語の制御構造の意味論的分析	ビデオ、MEXT
	結縁　祥治	Ｗｅｂアプリケーション指向ソフトウェアモデリング	ビデオ