教員一覧
（*記号は大学院学生の指導教員となることのできる教員であることを表わします）
（☆記号は連携大学院客員教員であることを表します）
| 数理情報工学 | |
|---|---|
| *河辺 徹 | 制御デザイン：ロバスト制御，モデル予測制御，ハイブリッドシステム， ブレインマシンインターフェイスなどの理論とそれらの応用研究． |
| *北川高嗣 | 数値解析学：逆問題, 不適切問題の数値解析, 意味的連想検索, メディア情報システムの研究. |
| *久野誉人 | 数理計画法：非凸計画問題の大域的最適化のための効率的なアルゴリズムの研究. |
| *櫻井鉄也 | 計算数学，コンピュータを利用するための数値数学， スーパーコンピュータのための並列コンピューティングアルゴリズム， 大規模データ解析アルゴリズム，計算科学，数理ソフトウェア. |
| *徳永隆治 | カオス・フラクタル・分岐理論を中心とする小自由度非線形問題, 画像圧縮伸張を中心とするコンピュータアミューズメント向け要素技術開発 |
| *コール ジェームス |
応用物理学：電気工学問題の数値解と並列計算機及びデータ画像化のための高精度数値アルゴリズムの開発. |
| *蔡 東生 | 人工生命理論を使ったCG・可視化, その芸術・音楽・映像メディアへの応用及び仮想環境の作成. 高性能計算, 大規模並列数値計算・高精度アルゴリズムの開発, その宇宙気象予報への応用. カオス・フラクタル理論を使った画像圧縮, CGへの応用. |
| 今倉 暁 | 数値解析学：大規模線形計算、特に、連立一次方程式や固有値問題の高速・高安定数値解法の開発. |
| 栢沼 愛 | 理論化学・計算化学：量子化学計算を用いた生体分子の反応機構 の解析. |
| 佐野良夫 | 離散最適化： グラフ・ネットワーク・行列・マトロイドといった離散システムの数理構造および最適化の研究. |
| 知能ソフトウェア | |
| *大矢晃久 | 知能ロボットとセンシング：人間の生活空間で働く移動ロボット, 実世界センサ情報処理, ネットワークロボティクス, 複数移動ロボットの協調行動. |
| *亀山幸義 | プログラム言語と論理: 型システム, メタプログラミング, プログラムの論理, プログラム検証 |
| *田中二郎 | ユビキタスコンピューティング, インタラクティブソフトウェア, Webインタフェース, ヒューマンインタフェース, ビジュアル言語, スクリプト言語, ソフトウェア工学. |
| 嵯峨 智 | バーチャルリアリティ，ヒューマンインタフェース，オーグメンテッドリアリティ，触覚センサ，力触覚ディスプレイ，力覚教示システム. |
| *志築文太郎 | ヒューマンコンピュータインタラクション：ビジュアルプログラミング, エンドユーザ向けインタフェース. |
| *高橋 伸 | ユーザーインターフェースソフトウェア，ユビキタスコンピューティング． |
| *三末和男 | 情報可視化，ビジュアルインターフェース，視覚的分析ツール，グラフ自動描画． |
| *南出靖彦 | プログラミング言語の理論, 言語処理系, 型システム, 関数型プログラミング. |
| 水谷哲也 | プログラム理論および音楽情報学：実時間知的プログラム系ならびに楽曲情報の検証・解析のための論理的基礎. |
| ヴァシラケ シモナ | ソフトウェア工学，フォーマルメソッド，ヒューマンインタフェース． |
| 海野 広志 | プログラム検証：モデル検査、型システム、プログラム解析、自動定理証明. |
| ソフトウェアシステム | |
| *加藤和彦 | クラウドコンピューティング, 分散システム, 仮想化技術，情報セキュリティ, オペレーティングシステム. |
| *北川博之 | データベースシステム, データ工学：異種情報統合, WWWとデータベース, XMLデータベース, マルチメディア情報検索, DBMSアーキテクチャ等. |
| *李 頡 | 分散／並列コンピューティングシステム, モバイル／マルチメディアコンピューティング, コンピュータネットワーク, システムのモデリング, 性能評価及び信頼性の総合的研究. |
| *天笠俊之 | データベース，データ工学：XMLデータベース，科学分野におけるデータベース応用など. |
| *追川修一 | オペレーティングシステム，リアルタイム，組み込み，並列分散システム． |
| *新城 靖 | オペレーティングシステム，分散システム，仮想化，並行処理，分散型ソーシャル・ネットワーキング・サービス(分散型SNS). |
| *秡川友宏 | 情報家電, 組み込みシステム, アクセシビリティ. |
| *前田敦司 | プログラミング言語処理系，ガーベッジコレクション，ランタイムシステム，資源管理． |
| 川島英之 | データベースシステム，DBMSアーキテクチャ，センサネットワーク，データストリーム. |
| 陳 漢雄 | データベースシステム, 知識ベースシステム, ネットワーク環境における教育システム, 情報検索, 知識発見. |
| 平山哲治 | 確率システムのモデリングと解析, 情報通信システムの性能評価. |
| 古瀬一隆 | データベースシステム, 情報検索, データ工学. |
| 杉木章義 | システムソフトウェア，分散システム，オペレーティングシステム，サーバ管理技術 |
| 長谷部浩二 | 数理論理学の情報科学への応用：形式手法, 分散システム, マルチエージェントシステム, ゲーム理論. |
| 早瀬康裕 | ソフトウェア工学：プログラム理解, リポジトリマイニング, ソフトウェア保守. |
| 渡辺知恵美 | データベース，データ工学，プライバシ保護データベース，匿名化，プライバシ保護マイニング，時系列データベース，WWWとデータベース |
| 計算機工学 | |
| *児玉祐悦 | 並列計算機アーキテクチャ, リコンフィギャラブルシステム, 広域ネットワークアーキテクチャ, 低消費電力アーキテクチャ. |
| *佐藤三久 | 並列ハイパフォーマンス・コンピューティング, 超並列マルチコア向けプログラミング言語コンパイラ技術, 分散プログラミング技術等. |
| *高橋大介 | ハイパフォーマンスコンピューティング：並列計算機における高性能数値計算アルゴリズムおよび性能評価に関する研究. |
| *中田秀基☆ 産業技術総合研究所 |
並列計算, 分散計算, グリッド, クラウド. |
| *西川博昭 | 超分散システムと仕様記述環境：データ駆動パラダイムによる超分散処理方式とその多面的仕様記述環境に関する研究. |
| *樋口哲也☆ 産業技術総合研究所 |
進化型計算やニューラルネットに基づく適応型ハードウェア／システムに関する研究：遺伝的アルゴリズム, LSI, 再構成可能型ハードウェア素子. |
| *朴 泰祐 | 高性能計算システムと性能評価, 超並列処理システム向けネットワーク, 並列処理システムソフトウェア, GPUコンピューティング. |
| *安永守利 | 集積回路工学：並列分散システム, 進化システムの集積回路化の研究. |
| *和田耕一 | 並列・分散処理と計算機アーキテクチャ：並列計算機の構成方式を中心に, 並列言語処理系, 応用も含めた並列・分散処理システムの研究. |
| *木村成伴 | 情報通信工学：プロセス代数, ネットワークプロトコル, 通信システムの効率評価などに関する研究. |
| 佐藤 聡 | 安全で安心な学術ネットワークシステムおよび学術情報基盤システムの設計, 運用に関する研究. |
| *庄野和宏 | アナログ集積回路と回路理論：高線形化トランスコンダクタ，複素フィルタに関する研究． |
| *建部修見 | 並列分散システムソフトウェア：分散ファイルシステム，データインテンシブコンピューティング. |
| *谷村勇輔 産業技術総合研究所 |
並列分散ストレージ, 大規模データ処理, クラウドコンピューティング, グリッドコンピューティング, E-サイエンス応用. |
| *山際伸一 | 並列分散処理, ストリームコンピューティング, およびGPGPUに関するシステム開発と応用. 組み込みシステムとそのスポーツ科学等への応用. |
| 冨安洋史 | ベクトル型計算機および超並列計算機以降の並列計算機のアーキテクチャ, 特に高速化著しいマイクロプロセッサに対応するための並列計算機について研究. |
| 山口佳樹 | 集積回路工学：書き換え可能ハードウェアとその応用（並列分散システム, 複雑適応系, 情報生物学）に関する研究. |
| 金澤健治 | 集積回路工学, リコンフィギュラブルコンピューティング， 書き換え可能なLSIを用いた計算困難問題の高速解法. |
| 多田野寛人 | 数値解析学：大規模線形計算. 特に, 連立一次方程式の高速求解法の開発, 固有値問題の並列解法に関する研究. |
| メディア工学 | |
| *赤松幹之☆ 産業技術総合研究所 |
認知行動の解析とモデル化, 行動計測, コンピュータ入力デバイスの人間工学的評価. |
| *工藤博幸 | 画像・映像情報と医用画像：画像・映像メディア処理, CT・PET・MRIを中心とした医用画像工学と計算機支援診断システム, 知的画像センシング, 音楽メディア処理, 逆問題の数理. |
| *福井幸男 | 人間特性に基づくインタフェース設計：高適合化身体装着製品の設計支援システム, 内視鏡操作支援システム等の研究. |
| *牧野昭二 | 音響信号処理, 音楽信号処理, 聴覚情報処理：ブラインド音源分離, 音響エコーキャンセラ, 音楽信号の分解・処理・合成・３Ｄ再生・検索, カクテルパーティー効果の工学的実現. |
| *亀山啓輔 | 学習, 適応情報処理：学習や適応を用いたフレキシブルな情報処理方式, 信号や画像の符号化, 検索, 修復への応用. |
| *滝沢穂高 | 知的画像処理：医用画像処理・認識, 計算機診断支援, コンピュータビジョン, ３次元物体認識. |
| *三谷 純 | 形状モデリング・コンピュータグラフィックス・CAD：モデリングインターフェイス, ノンフォトリアリスティックレンダリング, 立体形状の2次元への展開. |
| *山田武志 | 音声・音響情報処理：音声認識, 音環境理解, 多チャネル信号処理, メディア品質評価, eラーニング. |
| ルトコフスキ トマシュ | 計算聴覚神経科学, ブレインコンピュータインタフェース・ヒューマンコンピュータインタフェース, 多感覚の脳反応とメディアデザイン, 脳・生体多チャンネル信号のデータドリブンな分離および分解. |
| 金森由博 | コンピュータグラフィクス：リアルタイムレンダリング, ビジュアルシミュレーション, 形状モデリング, ノンフォトリアリスティックレンダリング, 画像編集技術. |
| 鈴木大三 | メディア信号処理：フィルタバンク／ウェーブレット変換、情報源符号化、情 報ハイディング、画像・映像処理. |
| 宮部滋樹 | メディア工学, 音声信号処理, 音響信号処理, 音源分離, 3次元音場再現. |
| 知能・情報工学 | |
| *狩野 均 | 遺伝的アルゴリズム, 人工生命, 進化システム, 知識システム, 知識表現. |
| *酒井 宏 | 視覚の計算論：中低次視覚, 3次元構造知覚, 皮質細胞の非線型解析, ネットワークモデル, 心理物理実験. |
| *坂上勝彦☆ 産業技術総合研究所 |
マシンビジョンのためのアルゴリズムとシステムの研究開発, 及びその実世界環境での応用. |
| *福井和広 | パターン認識・コンピュータビジョン：顔画像認識，3次元物体認識，ヒューマンセンシング，ロボット視覚. |
| *山本幹雄 | 自然言語処理：統計的手法を用いたWeb上の自然言語テキスト処理. 特に, 統計的機械翻訳や評判分析などのWeb文書処理. |
| *佐久間 淳 | 知識発見とセキュリティー・プライバシー：データマイニング, 機械学習, プライバシ保護データマイニング, 匿名化, 個人情報の保護と活用． |
| *佐藤雄隆☆ 産業技術総合研究所 |
ユビキタスビジョン，ロボットビジョン，全方向 ステレオシステム(SOS). |
| 乾 孝司 | 自然言語データからの情報抽出・情報集約，意見マイニング，評判分析. |
| アランニャ・クラウス | 人工知能・機械学習・進化論的計算，最適化・バイオインフォマティ クス・ゲームへの応用，機械学習の並列化. |
| 日野英逸 | 機械学習；カーネル法，距離学習，ランキングモデル，次元削減，エントロピー推定，スパース表現 |
| 薬袋良一 | バイオインフォマティクス、構造生物学、タンパク質の立体構造比較・機能予測、In Silico Drug Discovery、ゲノム解析、分子進化 |
| オブザーバ教員 | |
|---|---|
| 稲垣敏之 | 人間・機械共生系，リスク環境下での人と知能機械の協調，アダプティブ・オートメーション，ヒューマン・マシン・システムの信頼性・安全性，不確実情報のもとでの推論と意思決定． |
| 岡本栄司 | 暗号と情報セキュリティの研究：暗号・認証、不正アクセス・ウイルス対策，ソフトウェア・コンテンツ保護，および情報セキュリティ対策インフラの構築・整備など． |
| 伊藤 誠 | システム安全性：ヒューマンマシンの信頼と協調，不確実状況での認知・推論・決定，リスクの認知と受容． |
| 古川 宏 | 認知システム工学：人間と機械の協調支援，認知能力を拡張・支援するヒューマンインタフェース，ナビゲーション支援と空間認知，メンタルモデル・知識の獲得支援． |
| 山本順人 | プログラミング言語・処理系，言語パラダイム，記号計算，高階手続き，Hyperlogo． |
| 金岡 晃 | |
| 三宮秀次 | 自律並列分散型プロセッサ・アーキテクチャ：自己同期型エラスティックパイプラインによるデータ駆動チップマルチプロセッサに関する研究． |
| 塙 敏博 | 省電力耐故障高性能ネットワーク，並列システムの性能評価，ディペンダブルオペレーティングシステムとディペンダブルシステムベンチマーク． |
| 片岸一起 | 新世代ネットワーク，現代情報理論，ネットワークセキュリティ． |
| ブシャ ジャンルク | コンピュータの算術，暗号． |
| 細野千春 | 数理計算理論． |
名誉教授一覧（コンピュータサイエンス専攻，電子・情報工学系関係）
| 平成4年度 | 森 亮一 先生 |
| 平成9年度 | 鈴木 功 先生 |
| 藤原 譲 先生 | |
| 平成10年度 | 中田 育男 先生 |
| 池辺 八洲彦 先生 | |
| 平成13年度 | 五十嵐 滋 先生 |
| 池田 克夫 先生 | |
| 森 正武 先生 | |
| 平成14年度 | 坂本 直人 先生 |
| 平成15年度 | 齋藤 恒雄 先生 |
| 平成16年度 | 名取 亮 先生 |
| 平成17年度 | 板橋 秀一 先生 |
| 平澤 一紘 先生 | |
| 平成18年度 | 亀田 壽夫 先生 |
| 平成19年度 | 寅市 和男 先生 |
| 根本 承次郎 先生 | |
| 平成21年度 | 石橋 幸男 先生 |
| 大保 信夫 先生 | |
| 西原 清一 先生 | |
| 平成22年度 | 北脇 信彦 先生 | 平成24年度 | 井田 哲雄 先生 |
| 海老原 義彦 先生 | |
| 平井 有三 先生 |
研究室一覧
（☆記号は連携大学院客員教員の研究室であることを表します）