コンピュータ科学

教員と研究室

教員名 専門分野 教員室 講義名
萩谷 昌己 教授 計算理論・プログラム理論・数理論理学・プログラム言語論・ソフトウェア工学・形式手法・分子計算・生命分子計算・DNAコンピュータ 理7-203 ソフトウェアのテストと検証
今井 浩 教授 アルゴリズム論・離散構造・計算幾何・最適化・量子情報科学 理7-207 アルゴリズム論
先端アルゴリズム論
須田 礼仁 教授 並列数値計算 理7-201 並列数値計算論
小林 直樹 教授 プログラミング言語・ソフトウェア検証 理7-505 計算機言語システム論
五十嵐 健夫 教授 ユーザインタフェース・コンピュータグラフィックス 理7-303 メディア情報学
杉山 将 教授 機械学習・統計的データ解析 理7-514 先端データ解析論
宮尾 祐介 教授 自然言語処理・計算言語学 理7-203
吉本 芳英 准教授 計算科学・並列シミュレーションソフトウエア(特に第一原理電子状態計算) 理7-209 学際計算科学特論
加藤 真平 准教授 オペレーティングシステム・リアルタイムシステム・並列分散システム 理7-501 オペレーティングシステム特論
國廣 昇 准教授 暗号理論・情報セキュリティ 化東-235
佐藤 一誠 講師 統計的機械学習 理7-506 先端統計モデリング論
本多 淳也 講師 情報理論・機械学習 理7-406
宮野 悟 教授 DNA情報解析・計算量理論・機械学習と発見 医科研 DNA情報解析特論
中井 謙太 教授 遺伝子情報・ゲノム情報科学 医科研 ゲノム機能情報解析特論
井元 清哉 教授 ゲノム統計科学・マイクロアレイデータ解析 医科研 DNA情報解析特論
渋谷 哲朗 准教授 ゲノム解析・アルゴリズム論 医科研 配列解析アルゴリズム特論
山口 類 准教授 大規模データ解析・統計科学 医科研 システム生命情報学特論
Patil Ashwini 講師 生物情報科学・蛋白質構造分析・システム生物学 医科研 ゲノム機能情報解析特論
中田登志之 教授 並列アーキテクチャ、並列プログラミング言語、サイバーフィジカルシステムのアーキテクチャ SICT コンピュータアーキテクチャ特論
清水 謙多郎 教授 生物情報科学・並列分散コンピューティング 農学生命 計算生物物理
高野 明彦 教授 プログランミングの代数・連想の情報学 NII プログラミング代数特論
相澤 彰子 教授 テキストメディア・知識処理 NII テキストメディア特論
佐藤 いまり 教授 NII 視覚情報処理応用
ISTyくん