本文へジャンプ

研究内容

研究室紹介

理論情報科学計算機システム・ネットワークソフトウェア科学人間情報処理人工知能
サイバーレンジ構成学(寄附講座)客員講座・連携講座・寄付講座

※研究者紹介をクリックすると,研究者総覧のページが見られます.
※研究分野・研究室名をクリックすると,研究室のホームページが見られます.
※詳細をクリックすると,研究室の詳細が見られます.

◆各研究室教育指針(学内限定)

教授准教授

◆理論情報科学

情報科学の基礎理論を探究する領域である.数理論理学,アルゴリズム論,システム科学,情報セキュリティの分野から構成される.

石原哉 教授
数理論理学分野・石原研究室
構成的数学,計算論,数理論理学 研究者紹介
詳細
上原隆平 教授
アルゴリズム論分野・上原研究室
グラフアルゴリズム,計算量の理論 研究者紹介
詳細
平石邦彦 教授
システム科学分野・平石研究室
離散事象システム,並行計算理論 研究者紹介
詳細
宮地充子 教授
情報セキュリティ分野・宮地研究室
情報セキュリティ,モバイルエージェント,数論アルゴリズム 研究者紹介
詳細
面和成 准教授
情報セキュリティ分野・面研究室
セキュリティプロトコル,セキュリティ制御 研究者紹介
詳細
染村庸 特任教授 国際標準化,ITU-T,環境,LCA(ライフサイクルアセスメント),グリーンICT,LSI 研究者紹介
詳細
布田裕一 特任准教授 数論アルゴリズム,安全性評価 研究者紹介
田中覚 特任助教 研究者紹介
大舘陽太 助教
アルゴリズム論分野
グラフアルゴリズム 研究者紹介
CHEN Jiageng 助教
情報セキュリティ分野
Information security 研究者紹介
根元多佳子 助教
数理論理学分野
数学基礎論,構成的数学 研究者紹介
Su Chunhua 助教 暗号理論,情報セキュリティ 研究者紹介

ページの先頭へもどる

◆計算機システム・ネットワーク

情報化社会のインフラストラクチャの技術を探究する領域である.計算機アーキテクチャ,集積システム,情報ネットワーク,ユビキタス通信の分野から構成される.

井口寧 教授*
計算機アーキテクチャ分野・井口研究室
計算機システム,超並列システム,並列処理 研究者紹介
詳細
金子峰雄 教授
集積システム分野・金子研究室
集積回路設計,回路システム理論,信号処理システム 研究者紹介
詳細
敷田幹文 教授*
情報ネットワーク分野・敷田研究室
分散システム,グループウェア,ソフトウェア開発環境 研究者紹介
詳細
篠田陽一 教授*
情報ネットワーク分野・篠田研究室
ネットワーク構成法,分散環境 研究者紹介
丹康雄 教授
情報ネットワーク分野・丹研究室
計算機ネットワーク,フォールトトレラントコンピューティング 研究者紹介
詳細
松本正 教授
ユビキタス通信分野・松本研究室
情報理論,符号理論,ターボ原理,無線信号処理,移動通信 研究者紹介
詳細
田中清史 准教授
計算機アーキテクチャ分野・田中研究室
超並列計算機,リアルタイムシステム,組込みシステム 研究者紹介
詳細
Kurkoski, Brian Michael 准教授
ユビキタス通信分野・Kurkoski 研究室
情報理論,符号理論とその応用 研究者紹介
詳細
リム勇仁 准教授
情報ネットワーク分野・Lim研究室
無線,ヘテロジニアス,QoS,電力制御,輻輳制御,実証実験 研究者紹介
詳細
岡田崇 特任准教授 スマートハウス,マルチエージェントシミュレーション 研究者紹介
Khoirul, Anwar 助教
ユビキタス通信分野
情報理論,誤り訂正,拡散符号,シングル&マルチキャリアシステム 研究者紹介
Zhang, Renyuan 助教 回路システム理論,アナログ・ディジタル混載集積回路設計 研究者紹介
宇多仁 助教*
情報ネットワーク分野
分散環境,計算機ネットワーク 研究者紹介
冨田尭 助教*    

ページの先頭へもどる

◆ソフトウェア科学

安心と安全が保証できる高信頼システムを開発する技術を探究する領域である.ソフトウェア構造,ソフトウェア仕様記述,ソフトウェア検証,高信頼システムの分野から構成される.

小川瑞史 教授
ソフトウェア検証論分野・小川研究室
書簡系,抽象実行,組み合せ理論とその応用 研究者紹介
詳細
寺内多智弘 教授
情報科学専攻・ソフトウェア科学領域・寺内研究室
プログラミング言語, プログラム解析, プログラム検証, 情報セキュリティ 研究者紹介
詳細
緒方和博 教授
システム科学分野・緒方研究室
プログラミング言語,項書換え系の実装,並列プログラミング 研究者紹介
詳細
青木利晃 准教授
ソフトウェア形式手法分野・青木研究室
ソフトウェア工学 研究者紹介
詳細
鈴木正人 准教授

ソフトウェア構造論分野・鈴木研究室
高信頼ソフトウェアシステム,ソフトウェアアーキテクチャ,コンポーネントウェア 研究者紹介
詳細
廣川直 准教授
ソフトウェア検証論分野・廣川研究室
項書換え, 計算量解析, 関数型言語 研究者紹介
詳細
Défago, Xavier 准教授
高信頼システム論分野・DDSG研究室
分散システム,耐故障性 研究者紹介
詳細
Preining Norbert 准教授(兼務) Many-value logics, Proof theory, Semantics, Goedel logics 研究者紹介
二木厚吉 特任教授(兼務)
ソフトウェア形式手法分野・二木研究室
形式仕様言語,フォーマルメソッド,システム検証 研究者紹介
詳細
千葉勇輝 助教
ソフトウェア形式手法分野
項書き換えシステム,プログラム変換,定理自動証明 研究者紹介
Bonnet, Francois Pierre Andre 助教 Distributed Algorithms, Distributed Computability, Robot Computing 研究者紹介
横山啓太 助教 数理論理学,数学基礎論,逆数学,1階及び2階算術,超準解析学 研究者紹介
Gaina, Daniel Mircea 助教(兼務)
ソフトウェア形式手法分野
  研究者紹介

ページの先頭へもどる

◆人間情報処理

言語・非言語によるコミュニケーションの本質を,人間の行っている情報処理の機構の解明から探究する領域である.生体情報処理,音情報処理,像情報処理,ロボティクス,計算工学の分野から構成される.

赤木正人 教授
音情報処理分野・赤木研究室
聴覚音声機構,音声情報処理,音声認識 研究者紹介
詳細
党建武 教授
生体情報処理分野・党研究室
音声生成機構,音声合成・認識,認知メカニズマ 研究者紹介
詳細
丁洛榮 教授
ロボティクス分野・丁研究室
人間協調・共存型ロボット,知能情報システム,遠隔操作ロボット,機械システムの知能化 研究者紹介
詳細
浅野文彦 准教授
ロボティクス分野・浅野(文)研究室
動的システム理論,機械力学,制御工学,受動性,脚式ロボット 研究者紹介
詳細
鵜木祐史 准教授
音情報処理分野・鵜木研究室
聴覚モデル,音(音声)信号処理 研究者紹介
詳細
小谷一孔 准教授
像情報処理分野・小谷研究室
画像解析理解,コンピュータグラフィックス,コンピュータビジョン 研究者紹介
詳細
田中宏和 准教授
生体情報処理分野・田中研究室
計算論的神経科学,身体運動制御,脳機能イメージング,生体信号処理,心理物理 研究者紹介
詳細
前園涼 准教授
計算工学分野・前園研究室
量子シミュレーション,物性理論,量子化学,多体電子論 研究者紹介
詳細
吉高淳夫 准教授
像情報処理分野・吉高研究室
画像解析,マルチメディアデータ検索,感性情報処理,実世界指向インタフェース 研究者紹介
詳細
末光厚夫 助教
生体情報処理分野
生体情報処理,計算神経科学,ニューラルネットワーク 研究者紹介
Chen, Fan 助教
像情報処理分野
パターン認識,コンピュータビジョン,マルチメディア解析 研究者紹介
Jeong, Sungmoon 助教 Biologically inspired intelligent systems, Signal processing, Pattern recognition and applications 研究者紹介
本郷研太 助教
計算工学分野
第一原理電子状態計算,量子モンテカルロ法 研究者紹介
宮内良太 助教
音情報処理分野
聴覚心理学, 知覚心理学, 実験心理学, 音響学 研究者紹介
森川大輔 助教 空間音響,音像定位 研究者紹介
RYU Hyejeong 特任助教  

ページの先頭へもどる

◆人工知能

言語・非言語によるコミュニケーションの本質を,計算モデルの立場から探究する領域である.自然言語処理,知能工学,ゲーム情報学の分野から構成される.

飯田弘之 教授
ゲーム情報学分野・飯田研究室
ゲーム情報学 研究者紹介
詳細
東条敏 教授
知能工学分野・東条研究室
自然言語理解,論理プログラミング,分散人工知能 研究者紹介
詳細
池田心 准教授
ゲーム情報学分野・池田研究室
進化計算,機械学習,エージェントシミュレーション,ゲーム 研究者紹介
詳細
Nguyen, Minh Le 准教授
知能工学分野・Nguyen研究室
統計的自然言語処理テキスト要約,機械翻訳,言語理解 研究者紹介
詳細
白井清昭 准教授
自然言語処理分野・白井研究室
統計的自然言語処理,知識獲得,機械学習 研究者紹介
詳細
長谷川忍 准教授* 
長谷川研究室
知的システム,学習管理システム 研究者紹介
詳細
佐野勝彦 助教
知能工学分野
論理学,論理学の形式意味論への応用 研究者紹介
Viennot, Simon Robert Michel 助教 ゲーム木探索,機械学習,組合せゲーム理論 研究者紹介

ページの先頭へもどる

サイバーレンジ構成学(寄附講座)

知念賢一 特任准教授
情報ネットワーク分野
サイバーレンジ、ネットワークテストベッド、サーバ技術 研究者紹介
詳細
BEURAN, Razvan Florin特任准教授 ネットワークシステム、サイバーセキュリティ、性能評価 研究者紹介

客員講座・連携講座

ソフトウェア科学領域

岸知二 客員教授 早稲田大学  

言語科学(客員講座)

渡邊治 客員教授 東京工業大学 計算量理論
Hu Zhenjiang 客員教授 国立情報学研究所  

認知科学(客員講座)

若林一敏 客員教授 日本電気(株) ハードウェア・ソフトウェア・コデザイン

並列分散システム(客員講座)

長健二朗 客員教授 (株)インターネットイニシアティブ技術研究所 ネットワーク品質管理
渡辺克也 客員教授 総務省

グリーン情報基盤学(連携講座)〈日本電信電話(株)〉

中村雅之 客員教授 日本電信電話(株)  
中村二朗 客員教授 日本電信電話(株)  

情報・知識統合処理学(連携講座)〈富士通研究所〉

松塚貴英 客員教授 (株)富士通研究所
湯上伸弘 客員准教授 (株)富士通研究所

超高速通信網構成学(連携講座)〈情報通信研究機構〉

今瀬眞 客員教授 情報通信研究機構
原井洋明 客員准教授 情報通信研究機構

分散情報処理学(連携講座)〈産業技術総合研究所〉

大西正輝 客員准教授 産業技術総合研究所
山下倫央 客員准教授 産業技術総合研究所

先端ソフトウェア工学(連携講座)〈国立情報学研究所〉

本位田真一 客員教授 国立情報学研究所
吉岡信和 客員准教授 国立情報学研究所

ベトナム情報科学(連携講座)

Le, Bac Hoai 客員准教授 ベトナム国家大学ホーチミン市校

タイ情報科学(連携講座)

THEERAMUNKONG, Thanaruk客員教授 タマサート大学  
WUTIWIWATCHAI, Chai客員准教授 国家電子コンピューター技術センター  
SUNTISRIVARAPORN, Boontawee客員准教授 タマサート大学  

天津情報科学(連携講座)

ZHANG,Jiawan 客員教授 天津大学  
LI, Xiaohong 客員教授 天津大学  
LIU, Baolin 客員教授 天津大学  

 (* 情報社会基盤研究センター所属教員)

ページの先頭へもどる