教員・研究室情報

教員・研究室 教育・研究実績 学位論文の紹介
教員の公募 その他の公募

教員・研究室

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

各教員名のあとの VC1（VC1_n for Narrow Band）または VC2 をクリックすると，研究室紹介が見られます． 研究名をクリックすると，研究室のホームページが見られます．

計算機数理・アルゴリズム・ロジックグループ

小野寛晰 教授 VC1 (VC1_n ) 情報論理学講座・小野研究室 数理論理学・非古典論理
浅野哲夫 教授 VC1 (VC1_n ) 情報基礎学講座・浅野研究室 計算幾何学・組合せ最適化
金子峰雄 教授 VC1 (VC1_n ) システム制御・管理講座・金子研究室 集積回路設計・回路システム理論・信号処理システム
宮地充子 教授 VC1 (VC1_n ) | VC2 シス テム制御・管理講座・宮地研究室 情報セキュリティ・モバイルコンピューティング・数論 アルゴリズム
平石邦彦 教授 VC1 (VC1_n ) | VC2 システム基礎講座・平石研究室 離散事象システム・並行計算理論
石原哉 准教授 VC2 情報論理学講座・石原研究室 構成的数学・計算論・数理論理学
上原隆平 准教授 VC1 (VC1_n ) 情報基礎学講座・上原研究室 グラフアルゴリスム，確率的アルゴリズム
Rene Vestergaard 准教授 VC1 (VC1_n ) 言語設計学講座・Vestergaard研究室 Proof Theory, Programming Language Theory, Rewriting, Type theory, Mechanised Theorem Proving
岩垣剛 助教
システム制御・管理講座 ディジタルシステムの設計とテスト
元木光雄 助教
情報基礎学講座 確率的アルゴリズム
清見礼 助教
情報基礎学講座 組合せ最適化，グラフアルゴリズム
▲ ページの先頭へ

アーキテクチャ・ネットワークグループ

日比野靖 教授 VC1 (VC1_n ) | VC2 計算機アーキテクチャ講座・日比野研究室 超高速パイプラインアーキテクチャ・ネットワーク・記号処理
篠田陽一 教授 VC1 (VC1_n ) 情報科学センター・篠田研究室 ネットワーク構成法・分散環境・分散環境
丹康雄 教授 VC1 (VC1_n ) | VC2 情報ネットワーク講座・丹研究室 計算機ネットワーク・ユビキタスコンピューティング・情報家電
田中清史 准教授 VC1 (VC1_n ) 計算機アーキテクチャ講座・田中研究室 超並列計算機・リアルタイムシステム・組み込みシステム
井口寧 准教授 VC1 (VC1_n ) 情報科学センター・井口研究室 計算システム・超並列システム
宇多仁 助教
情報科学センター ネットワークシステム・計算機ネットワーク
菅原英子 助教
計算機アーキテクチャ講座 再構成可能アーキテクチャ
知念賢一 助教
ソフトウェア基礎講座 広域情報配送
▲ ページの先頭へ

ソフトウェアグループ

片山卓也 教授 VC1 (VC1_n ) | VC2 ソフトウェア基礎講座・片山研究室
 オブジェクト指向方法論・形式的方法論・ソフトウェア進化・ディペンダブルコンピューティング
落水浩一郎 教授 VC1 (VC1_n ) | VC2 ソフトウェア計画構成学講座・落水研究室 ソフトウェアプロセス・オブジェクト指向方法論・分散環境
二木厚吉 教授 VC1 (VC1_n ) | VC2 言語設計学講座・二木研究室 形式的仕様言語・フォーマルメソッド・ソフトウェア検証
鈴木正人 准教授 VC1 (VC1_n ) | VC2 ソフトウェア計画構成学講座・鈴木研究室 ソフトウェア開発方法論・環境／分散・高信頼ソフトウェア
敷田幹文 准教授 VC1 (VC1_n ) | VC2 情報科学センター・敷田研究室 分散システム・グループウェア・ソフトウェア開発環境
緒方和博 特任准教授 VC2 計算機言語学講座・緒方研究室 ソフトウェア工学・形式手法・検証
青木利晃 特任准教授
安心電子社会研究センター・青木研究室 ソフトウェア工学
中村正樹 助教
言語設計学講座 項書き換えシステム・仕様言語・CafeOBJ・評価戦略
服部哲 助教
ソフトウェア計画構成学講座 形式的手法のソフトウェア工学への応用
藤枝和宏 助教
ソフトウェア計画構成学講座 ソフトウェア工学・ソフトウェア開発環境
▲ ページの先頭へ

情報処理・知能情報処理・画像処理グループ

赤木正人 教授 VC1 (VC1_n ) 音情報処理学講座・赤木研究室 聴覚音声機構・音声情報処理・音声認識
党建武 教授 VC1 (VC1_n ) 知能情報処理学講座・党研究室 音声生成機構・音声合成／認識・音声情報処理
小谷一孔 准教授 VC1 (VC1_n ) 像情報処理学講座・小谷研究室 画像解析理解・コンピュータグラフィックス・コンピュータビジョン
丁洛榮 准教授 VC1 (VC1_n ) ロボティックス講座・丁研究室 ロボティックス・人間共存ロボット
鵜木祐史 准教授 VC1 (VC1_n ) 音情報処理学講座・鵜木研究室 聴覚モデル・音（音声）信号処理
徳田功 准教授
知能情報処理学講座・徳田研究室 非線型力学・時系列解析・音声解析・複雑系
石川智治 助教
像情報処理学講座 Audio-Visual信号処理・感性情報工学・音質評価・振動工学
Lu Xugang 助教
音情報処理学講座 Robust Speech Recognition, Computational Auditory Model, Statistical Learning
▲ ページの先頭へ

人工知能グループ

島津明 教授 VC1 (VC1_n ) | VC2 自然言語処理学講座・島津研究室 自然言語処理・対話理解・機械翻訳
東条敏 教授 VC1 (VC1_n ) | VC2 知識工学講座・東条研究室 自然言語理解・論理プログラミング・分散人工知能
飯田弘之 教授 VC1 (VC1_n ) 情報構造理論講座・飯田研究室 ゲーム情報学
白井清昭 准教授 VC1 (VC1_n ) | VC2 自然言語処理学講座・白井研究室 統計的自然言語処理・知識獲得・機械学習
鳥澤健太郎 准教授 VC1 (VC1_n ) 知識工学講座・鳥澤研究室 知識獲得・計算言語学・自然言語の文法理論
橋本剛 講師
情報構造理論講座 ゲーム情報学・理論生態学
CINCOTTI, Alessandro 助教
情報構造理論講座
風間淳一 助教
知識工学講座 自然言語処理・知識処理・機械学習
中村誠 助教
自然言語処理学講座 進化言語学
永田裕一 助教
知識工学講座 最適化・進化的計算論
▲ ページの先頭へ

計算工学グループ

松澤照男 教授 VC1 (VC1_n ) | VC2 情報科学センター・松澤研究室 数値流体力学・ハイパフォーマンスコンピューティング・グリッドコンピューティング

高信頼インターネットソフトウェアグループ

小川瑞史 教授 VC1 (VC1_n ) 計算機言語学講座・小川研究室 プログラム解析・書換え系・組み合わせ理論
DEFAGO Xavier准教授 VC1 (VC1_n ) ソフトウェア基礎講座・DDSG研究室 フォールトトレラント分散システム

e-Society 高信頼組み込みソフトウェアグループ

岸知二 特任教授 VC1 (VC1_n ) 高信頼組込みシステムに向けた大学院教育コア形成の促進・岸研究室 ソフトウェア工学・プロダクトラインソフトウェア工学

ナノテク・材料研究者育成の人材システム

前園 涼 講師

量子シミュレーション・物性理論・量子化学・多体電子論

2007年4月着任教員

松本正 教授
マルチメディア統合システム講座 ワイヤレス通信，情報理論，繰り返し（ターボ）アルゴリズム，ネットワーク情報理論，リレー／センサーネットワークの情報理論 的解析及び符号化，多次元無線チャネル解析
小林孝一 助教
システム基礎講座 ハイブリッドシステムの解析および制御
矢竹健朗 助教
ソフトウェア基礎講座 ソフトウェア工学
Li Junfeng 助教
音情報処理学講座 音声情報処理，音声のディジタル信号処理
佐藤幸紀 助教
情報科学センター 計算機システム・計算機アーキテクチャ
▲ ページの先頭へ

客員・連携講座

客員講座

岩野和生 客員教授言語科学
細部博史客員准教授言語科学
若林一敏 客員教授認知科学
長健二朗 客員教授並列分散システム
萩野純一郎 客員准教授並列分散システム

連携講座

上原三八 客員教授情報・知識統合処理学
岡本青史 客員准教授情報・知識統合処理学
野田五十樹 客員教授分散情報処理学
久保田文人 客員教授超高速通信網構成学
中川晋一 客員准教授超高速通信網構成学
神谷愼吾 客員教授電子社会システム学
横山和俊 客員准教授電子社会システム学
研究科概要 入学・進学情報 キャンパスライフ
教員・研究室情報 研究・産学連携 東京田町社会人コース
▲ ページの先頭へ