これまでに在籍した教員 >>
｜ 計算機数理・アルゴリズム・ロジックグループ｜ アーキテクチャ・ネットワークグループ｜ ソフトウェアグループ｜ 情報処理・知能情報処理・画像処理グループ｜
｜人工知能グループ｜ 計算工学グループ｜ 高信頼インターネットソフトウェアグループ｜ e-Society 高信頼組み込みソフトウェアグループ｜客員講座｜連携講座｜

各教員名のあとの VC または VC2 （ for Narrow Band ）をクリックすると，ビデオクリップが見られます． 研究テーマ名をクリックすると，各研究室の紹介が見られます．

■計算機数理・アルゴリズム・ロジックグループ
小野研究室 小野寛晰 教授 VC / VC2 【数理論理学・非古典論理】
浅野研究室 浅野哲夫 教授 VC / VC2 【計算幾何学 ・ 組合せ最適化 】
金子研究室　 金子峰雄 教授 VC / VC2 【集積回路設計・回路システム理論・信号処理システム】
平石研究室　 平石邦彦 教授 VC / VC2 【離散事象 システム・ 並行計算理論 】
石原研究室　 石原哉 助教授   【構成的数学・計算量・数理論理学】
上原研究室 上原隆平 助教授 VC / VC2 【グラフアルゴリスム，確率的アルゴリズム】
宮地研究室　 宮地充子 助教授 VC / VC2 【情報 セキュリティ・モバイルコンピューティング・ 数論 アルゴリズム】
Vestergaard 研究室 Rene Vestergaard 助教授 VC / VC2 【 Proof Theory ・ Programming Language Theory ・ Rewriting ・ Type theory ・ Mechanised Theorem Proving 】

｜PAGE TOP｜


■アーキテクチャ・ネットワークグループ
日比野研究室　 日比野靖 教授 VC / VC2 【超高速パイプラインアーキテクチャ・ネットワーク・記号処理】
篠田研究室　 篠田陽一 教授 VC / VC2 【ネットワーク 構成法 ・ 分散環境 ・ 分散環境 】
シェン研究室　 シェン ホン 教授 VC / VC2 【オプティカルネットワーク・フォールトトレラントコンピューティング・データベース】
丹研究室　 丹康雄 助教授 VC / VC2 【計算機ネットワーク・ユビキタスコンピューティング・情報家電】
田中研究室　 田中清史 助教授 VC / VC2 【超並列計算機・リアルタイムシステム・組み込みシステム】
井口研究室 井口寧 助教授 VC / VC2 【計算 システム・ 超並列 システム】

｜PAGE TOP｜


■ソフトウェアグループ
片山研究室　 片山卓也 教授 VC / VC2 【オブジェクト指向方法論・形式的方法論・ソフトウェア進化・ディペンダブルコンピューティング】
落水研究室　 落水浩一郎 教授 VC / VC2 【ソフトウェアプロセス・オブジェクト指向方法論・分散環境】
二木研究室　 二木厚吉 教授 VC / VC2 【形式仕様言語・フォーマルメソッド・ソフトウェア検証】
大堀研究室 大堀淳 教授 VC / VC2 【プログラミング言語・データベース】
鈴木研究室　 鈴木正人 助教授 VC / VC2 【ソフトウェア開発方法論・環境 ／ 分散・高信頼ソフトウェア】
田島研究室　 田島敬史 助教授 VC / VC2 【 データベースシステム・ 情報検索 】
敷田研究室　 敷田幹文 助教授 VC / CV2 【分散システム・グループウェア・ソフトウェア開発環境】

｜PAGE TOP｜


■情報処理・知能情報処理・画像処理グループ
宮原研究室　 宮原誠 教授 VC(1)　VC(2) /
VC2(1)　VC2(2) 		【画像工学・視聴覚知覚工学・感性情報】
赤木研究室　 赤木正人 教授 VC / VC2 【聴覚音声機構・音声情報処理・音声認識】
党研究室　 党建武 教授 VC / VC2 【音声生成機構・音声合成／認識・音声情報処理】
小谷研究室　 小谷一孔 助教授 VC / VC2 【画像解析理解・コンピュータグラフィックス・コンピュータビジョン】
丁研究室　 丁洛榮 助教授 VC / VC2 【 ロボティックス・ 人間共存 ロボット】
鵜木研究室　 鵜木祐史 助教授 VC / VC2 【聴覚モデル・音（音声）信号処理】

｜PAGE TOP｜


■人工知能グループ
島津研究室　 島津明 教授 VC / VC2 【 自然言語処理 ・ 対話理解 ・ 機械翻訳 】
東条研究室　 東条敏 教授 VC / VC2 【自然言語理解・論理プログラミング・分散人工知能】
飯田研究室　 飯田弘之 教授 VC / VC2 【ゲーム情報学】
白井研究室　 白井清昭 助教授 VC / VC2 【統計的自然言語処理・知識獲得・機械学習】
鳥澤研究室　 鳥澤健太郎 助教授 VC / VC2 【知識獲得・計算言語学・ 自然言語 の 文法理論 】

｜PAGE TOP｜


■計算工学グループ
松澤研究室　 松澤照男 教授 VC / VC2 【数値流体力学 ・ハイパフォーマンスコンピューティング・グリッドコンピューティング】

｜PAGE TOP｜


■高信頼インターネットソフトウェアグループ
小川研究室　 小川瑞史 特任教授 VC / VC2 【プログラム解析・書換え系・組み合わせ理論】
双紙研究室　 双紙正和 特任助教授 VC / VC2 【セキュリティ制御・分散システム】
DDSG 研究室 Defago Xavier 特任助教授 VC / VC2 【フォールトトレラント分散システム】

｜PAGE TOP｜


■e-Society 高信頼組み込みソフトウェアグループ
岸研究室　 岸知二 客員教授 VC / VC2

【ソフトウェア工学・プロダクトラインソフトウェア工学】

｜PAGE TOP｜


■客員講座
言語科学 中島震 客員教授
蓮見智幸 客員助教授
認知科学 西和彦 客員教授
並列分散システム 長健二朗 客員教授
萩野純一郎 客員助教授

｜PAGE TOP｜


■連携講座
情報・知識統合処理学 淺川和雄 客員教授
岡本青史 客員助教授
分散情報処理学 野田五十樹 客員助教授
超高速通信網構成学 久保田文人 客員教授
中川晋一 客員助教授
電子社会システム学 中村仁之輔 客員教授
玉置政一 客員教授

｜PAGE TOP｜