情報システム工学専攻

システムコストやシステム性能といった視点から最適化を行う

情報基盤を構成する情報システムを一貫して設計・実装するためのさまざまなアルゴリズム、構成法（アーキテクチャ・インプリメンテーション）、評価検証法（ベリフィケーション）に関する先導的な教育と研究を行います。