研究テーマ

アルゴリズム、言語、コンパイラ、アーキテクチャからシステムまでの並列コンピューティングと分散コンピューティングおよび解析、設計、検証までのソフトウェアエンジニアリング

教育目標

情報システムを構築する、主として並列コンピュータの構造論、ソフトウエア環境、並列コンパイラ、性能の定量的評価、また、大規模マルチプロセッサシステムにおける相互接続網、ノード間通信、共有分散化メモリーシステムと、これらの構造に関する並列プログラミングモデルの教育研究を行う。

専門科目

プログラミング言語処理系特論
コンピュータアーキテクチャ特論
並列及び分散システム
インターネットアーキテクチャ
仮想化技術特論
高性能コンピューティング
並列計算機アーキテクチャ
暗号理論
ディジタル情報の符号化と復号化
関数型言語と圏論
高信頼ソフトウェア開発の形式工学手法
ソフトウェア検証と確証
データベースプログラミング言語

科目の詳細はシラバスをご覧ください。

修士課程シラバスはこちら

教員紹介

学部の教員紹介ページへリンクされています。

尾花( OBANA) ( Satoshi ) 教授

コンピュータ基礎分野
情報セキュリティ研究室

  • 暗号
  • 情報セキュリティ
  • 暗号プロトコルの設計

小池( KOIKE) 誠彦( Nobuhiko) 教授

コンピュータ基礎分野
並列処理システム研究室

  • 並列・分散処理のアーキテクチャとその応用

佐々木( SASAKI) ( Akira) 教授

コンピュータ基礎分野
プログラミング言語研究室

  • プログラミング言語処理系
  • ドメイン特化型言語
  • 属性文法

( LI) 亜民( Yamin) 教授

コンピュータ基礎分野
コンピュータアーキテクチャ研究室

  • コンピュータアーキテクチャ
  • 高性能CPU設計
  • 並列分散処理
  • 相互接続ネットワーク

日高( HIDAKA) 宗一郎( Soichiro) 教授

コンピュータ基礎分野
基盤ソフトウェア研究室

  • プログラミング言語
  • プログラム変換
  • 双方向変換とモデル駆動工学への応用

廣津( HIROTSU) 登志夫( Toshio) 教授

コンピュータ基礎分野
分散システム研究室

  • インターネット
  • オペレーティングシステム
  • 分散コンピューティング
  • ユビキタスコンピューティング

( LIU) 少英( Shaoying) 教授

コンピュータ基礎分野
高品質ソフトウェア工学研究室

  • ソフトウェア工学
  • ソフトウェア開発の形式工学手法
  • 知的ソフトウェア工学環境

雪田( YUKITA) 修一( Shuichi) 教授

情報システム分野 推論の可視化研究室

  • 幾何学的・抽象的数学的概念の可視化

西島( NISHIJIMA) 利尚( Toshihisa) 教授

コンピュータ基礎分野 符号理論研究室

  • 符号理論
  • 情報理論