コンピュータ科学

教員と研究室

教員名 専門分野 教員室 講義名
萩谷 昌己 教授 計算理論・プログラム理論・数理論理学・プログラム言語論・ソフトウェア工学・形式手法・分子計算・生命分子計算・DNAコンピュータ 理7-203 ソフトウェアのテストと検証
今井 浩 教授 アルゴリズム論・離散構造・計算幾何・最適化・量子情報科学 理7-207 アルゴリズム論
先端アルゴリズム論
須田 礼仁 教授 並列数値計算 理7-201 並列数値計算論
小林 直樹 教授 プログラミング言語・ソフトウェア検証 理7-505 計算機言語システム論
五十嵐 健夫 教授 ユーザインタフェース・コンピュータグラフィックス 理7-303 メディア情報学
杉山 将 教授 機械学習・統計的データ解析 理7-514 先端データ解析論
宮尾 祐介 教授 自然言語処理・計算言語学 理7-203 自然言語処理システム論
自然言語処理
吉本 芳英 准教授 計算科学・並列シミュレーションソフトウエア(特に第一原理電子状態計算) 理7-209 学際計算科学特論
加藤 真平 准教授 オペレーティングシステム・リアルタイムシステム・並列分散システム 理7-501 オペレーティングシステム特論
高前田 伸也 准教授 コンピュータアーキテクチャ・高位合成コンパイラ・FPGAシステム・アルゴリズム/ハードウェア協調設計・機械学習処理の高速化 理7-401 カスタムコンピューティング特論
佐藤 一誠 准教授 統計的機械学習 理7-506 先端統計モデリング論
横矢 直人 講師 画像解析・空間情報学 理7-406 リモートセンシング画像解析
谷中 瞳 講師 計算言語学・推論・自然言語処理 理7-205
石田 隆 講師 機械学習 理7-406
中井 謙太 教授 遺伝子情報・ゲノム情報科学 医科研 ゲノム機能情報解析特論
井元 清哉 教授 ゲノム情報学・データサイエンス 医科研 DNA情報解析特論
渋谷 哲朗 教授 ゲノム解析・アルゴリズム論 医科研 配列解析アルゴリズム特論
中田登志之 教授 並列アーキテクチャ、並列プログラミング言語、サイバーフィジカルシステムのアーキテクチャ SICT コンピュータアーキテクチャ特論
清水 謙多郎 教授 生物情報科学・並列分散コンピューティング 農学生命 計算生物物理
高野 明彦 教授 プログランミングの代数・連想の情報学 NII プログラミング代数特論
相澤 彰子 教授 テキストメディア・知識処理 NII テキストメディア特論
佐藤 いまり 教授 コンピュータビジョン、コンピューテーショナルフォトグラフィー、画像解析、反射解析、医療画像処理 NII 視覚情報処理応用
朴 聖俊 准教授 生命情報、計算知能 医科研
片山 琴絵 准教授 ゲノム解析、レセプト情報解析 医科研
ISTyくん