理論情報科学｜計算機システム・ネットワーク｜ソフトウェア科学｜人間情報処理｜人工知能｜高信頼組込みシステムに向けた大学院教育コア形成の促進｜客員講座｜連携講座

※教員名をクリックすると，研究者総覧のページが見られます．
※各教員名のと（ナローバンド用）をクリックすると，教員紹介ビデオが見られます．
※研究名をクリックすると，研究室のホームページが見られます．
※各研究室名のをクリックすると，研究室紹介ビデオが見られます．
※詳細をクリックすると，研究室の詳細が見られます．

紹介ビデオをご覧になるためには，Windows Media Playerが必要です．お持ちでない方は左のアイコンをクリックしてWindows Mediaのページへジャンプし，ダウンロードをしてください．

理論情報科学 情報科学の基礎理論を探究する領域である．数理論理学，アルゴリズム論，システム科学，情報セキュリティの分野から構成される．
浅野哲夫 教授	アルゴリズム論分野・浅野研究室	計算幾何学，組合せ最適化	詳細
石原哉 教授	数理論理学分野・石原研究室	構成的数学，計算論，数理論理学	詳細
上原隆平 教授	アルゴリズム論分野・上原研究室	グラフアルゴリズム，計算量の理論	詳細
平石邦彦 教授	システム科学分野・平石研究室	離散事象システム，並行計算理論	詳細
宮地充子 教授	情報セキュリティ分野・宮地研究室	情報セキュリティ，モバイルエージェント，数論アルゴリズム	詳細
緒方和博 准教授	システム科学分野・緒方研究室	プログラミング言語，項書換え系の実装，並列プログラミング	詳細
面和成 准教授	情報セキュリティ分野・面研究室	セキュリティプロトコル，セキュリティ制御
岡本吉央 特任准教授（兼務）		離散数学，離散アルゴリズム，離散最適化
清見礼 助教	アルゴリズム論分野	グラフアルゴリズム，組合せ最適化
小林孝一 助教	システム科学分野	ハイブリッドシステム，制御理論
Cheong, Kai Yuen 助教	情報セキュリティ分野	Information security

↑ページの先頭へ

計算機システム・ネットワーク 情報化社会のインフラストラクチャの技術を探究する領域である．計算機アーキテクチャ，集積システム，情報ネットワーク，ユビキタス通信の分野から構成される．
金子峰雄 教授	集積システム分野・金子研究室	集積回路設計，回路システム理論，信号処理システム	詳細
篠田陽一 教授*	情報ネットワーク分野・篠田研究室	ネットワーク構成法，分散環境
丹康雄 教授	情報ネットワーク分野・丹研究室	計算機ネットワーク，フォールトトレラントコンピューティング	詳細
松本正 教授	ユビキタス通信分野・松本研究室	情報理論，符号理論，ターボ原理，無線信号処理，移動通信	詳細
井口寧 准教授*	計算機アーキテクチャ分野・井口研究室	計算機システム，超並列システム，並列処理	詳細
敷田幹文 准教授*	情報ネットワーク分野・敷田研究室	分散システム，グループウェア，ソフトウェア開発環境	詳細
田中清史 准教授	計算機アーキテクチャ分野・田中研究室	超並列計算機，リアルタイムシステム，組込みシステム	詳細
Lim, Azman Osman 准教授	情報ネットワーク分野・Lim研究室	無線，ヘテロジニアス，QoS，電力制御，輻輳制御，実証実験
知念賢一 特任准教授（兼務）+	情報ネットワーク分野	広域情報配達
Anwar, Khoirul 助教	ユビキタス通信分野	情報理論，誤り訂正，拡散符号，シングル＆マルチキャリアシステム
岩垣剛 助教	集積システム分野	ディジタルシステムの設計とテスト
請園智玲 助教	計算機アーキテクチャ分野	計算機アーキテクチャ，組込みシステム，リアルタイムシステム，HW/SW協調設計，動的最適化
宇多仁 助教*	情報ネットワーク分野	分散環境，計算機ネットワーク
小原泰弘 助教*	情報ネットワーク分野	計算機ネットワーク，経路制御
佐藤幸紀 助教*	計算機アーキテクチャ分野	命令レベル並列処理，プロセッサアーキテクチャ，マイクロアーキテクチャ

↑ページの先頭へ

ソフトウェア科学 安心と安全が保証できる高信頼システムを開発する技術を探究する領域である．ソフトウェア構造，ソフトウェア仕様記述，ソフトウェア検証，高信頼システムの分野から構成される．
小川瑞史 教授	ソフトウェア検証論分野・小川研究室	書簡系，抽象実行，組み合せ理論とその応用	詳細
落水浩一郎 教授	ソフトウェア構造論分野・落水研究室	ソフトウェアプロセス，オブジェクト指向方法論，分散環境	詳細
二木厚吉 教授	ソフトウェア形式手法分野・二木研究室	形式仕様言語，フォーマルメソッド，システム検証	詳細
青木利晃 准教授	ソフトウェア形式手法分野・青木研究室	ソフトウェア工学	詳細
鈴木正人 准教授	ソフトウェア構造論分野・鈴木研究室	高信頼ソフトウェアシステム，ソフトウェアアーキテクチャ，コンポーネントウェア	詳細
Defago, Xavier 准教授	高信頼システム論分野・DDSG研究室	分散システム，耐故障性	詳細
Vestergaard, Rene 准教授（兼務）		プログラム言語理論，推論機構
青谷知幸 助教	ソフトウェア構造論分野
千葉勇輝 助教	ソフトウェア形式手法分野	項書き換えシステム，プログラム変換，定理自動証明
廣川直 助教	ソフトウェア検証論分野	項書き換え
Gaina, Daniel Mircea 特任助教	ソフトウェア形式手法分野
矢竹健朗 特任助教+	高信頼システム論分野	定期証明，セキュリティ
Li, Xin 特任助教	ソフトウェア検証論分野

↑ページの先頭

人間情報処理 言語・非言語によるコミュニケーションの本質を，人間の行っている情報処理の機構の解明から探究する領域である．生体情報処理，音情報処理，像情報処理，ロボティクス，計算工学の分野から構成される．
赤木正人 教授	音情報処理分野・赤木研究室	聴覚音声機構，音声情報処理，音声認識	詳細
丁洛榮 教授	ロボティクス分野・丁研究室	人間協調・共存型ロボット，知能情報システム，遠隔操作ロボット，機械システムの知能化	詳細
党建武 教授	生体情報処理分野・党研究室	音声生成機構，音声合成・認識，認知メカニズマ	詳細
松澤照男 教授*	計算工学分野・松澤研究室	数値流体力学，ハイパフォーマンス・コンピューティング，グリッドコンピューティング	詳細
浅野文彦 准教授	ロボティクス分野・浅野（文）研究室	動的システム理論，機械力学，制御工学，受動性，脚式ロボット
鵜木祐史 准教授	音情報処理分野・鵜木研究室	聴覚モデル，音（音声）信号処理	詳細
小谷一孔 准教授	像情報処理分野・小谷研究室	画像解析理解，コンピュータグラフィックス，コンピュータビジョン	詳細
前園涼 准教授	計算工学分野・前園研究室	量子シミュレーション・物性理論・量子化学・多体電子論	詳細
徳田功 客員准教授	生体情報処理分野	非線形力学，時系列解析，複雑系，音声解析
吉高淳夫 准教授	像情報処理分野・吉高研究室	画像解析，マルチメディアデータ検索，感性情報処理，実世界指向インタフェース	詳細
川本真一 助教	生体情報処理分野	発話アニメーション, 擬人化音声対話システム
末光厚夫 助教	生体情報処理分野	生体情報処理，計算神経科学，ニューラルネットワーク
Chen, Fan 助教	像情報処理分野	パターン認識，コンピュータビジョン，マルチメディア解析
宮内良太 助教	音情報処理分野	聴覚心理学, 知覚心理学, 実験心理学, 音響学
Lee, Geunho 特任助教	ロボティクス分野	群ロボットにおける分散制御，福祉ロボット

↑ページの先頭へ

人工知能 言語・非言語によるコミュニケーションの本質を，計算モデルの立場から探究する領域である．自然言語処理，知能工学，ゲーム情報学の分野から構成される．
飯田弘之 教授	ゲーム情報学分野・飯田研究室	ゲーム情報学	詳細
島津明 教授	自然言語処理分野・島津研究室	自然言語処理，対話理解，機械翻訳	詳細
東条敏 教授	知能工学分野・東条研究室	自然言語理解，論理プログラミング，分散人工知能	詳細
池田心 准教授	ゲーム情報学分野	進化計算，機械学習，エージェントシミュレーション，ゲーム
白井清昭 准教授	自然言語処理分野・白井研究室	統計的自然言語処理，知識獲得，機械学習	詳細
鶴岡慶雅 准教授	知能工学分野	人工知能，自然言語処理，ゲーム情報学
長谷川忍 准教授（兼務）		知的システム，学習管理システム
Nguyen, Mminh Le 助教	自然言語処理分野	統計的自然言語処理テキスト要約，機械翻訳，言語理解
Cincotti, Alessandro 助教	ゲーム情報学分野	Combinatorial game theory
中村誠 助教	自然言語処理分野	言語進化，人工知能
Spoerer, Kristian Toby 特任助教	ゲーム情報学分野

↑ページの先頭へ

高信頼組込みシステムに向けた大学院教育コア形成の促進
知念賢一 特任准教授（兼務）+	情報ネットワーク分野	広域情報配達
矢竹健朗 特任助教+	高信頼システム論分野	定期証明，セキュリティ

↑ページの先頭へ

 

客員講座・連携講座

 

言語科学（客員講座）
細部博史 客員准教授	情報・システム研究機構　国立情報学研究所	制約解消アルゴリズム，スケジューリング問題

 

認知科学（客員講座）
若林一敏 客員教授	日本電気（株）	ハードウェア・ソフトウェア・コデザイン

 

並列分散システム（客員講座）
長健二朗 客員教授	（株）インターネットイニシアティブ技術研究所	ネットワーク品質管理
久保田誠之 客員教授	総務省

 

ソフトウェア科学（客員講座）
岸知二 客員教授	早稲田大学	プロダクトラインソフトウェア工学

↑ページの先頭へ

情報・知識統合処理学（連携講座）〈富士通研究所〉
上原三八 客員教授	（株）富士通研究所	ソフトウェア開発，ソフトウェア工学
湯上伸弘 客員准教授	（株）富士通研究所

 

超高速通信網構成学（連携講座）〈情報通信研究機構〉
宮部博史 客員教授	情報通信研究機構
原井洋明 客員准教授	情報通信研究機構

 

分散情報処理学（連携講座）〈産業総合研究所〉
大西正輝 客員准教授	産業技術総合研究所
山下倫央 客員准教授	産業技術総合研究所

 

電子社会システム学（連携講座）〈NTTデータ〉

 

先端ソフトウェア工学（連携講座）〈国立情報学研究所〉
本位田真一 客員教授	国立情報学研究所
吉岡信和 客員准教授	国立情報学研究所

 

ベトナム情報科学（連携講座）
ロン マイ チ 客員准教授	情報技術研究所（ハノイ）IOIT
レ バック ホアイ 客員准教授	ホーチミン市自然科学大学（ホーチミン）HCMUNS
グエン ベト ハー 客員准教授	工科大学（ハノイ）COLTECH

　

　（* 情報社会基盤研究センター所属教員）
　（+ 「高信頼組込みシステムに向けた大学院教育コア形成の促進」で採用された教員）