教員一覧
（平成25年4月）
情報理工学系研究科コンピュータ科学専攻に所属する教員の一覧です。
| 理学部情報科学科 |
| 担当・関連専攻等 |
職名 |
氏名 |
専門分野 |
| 学科長・創造情報学専攻 |
教授 |
平木 敬 |
超並列システム・計算機アーキテクチャ |
|
教授 |
萩谷 昌己 |
計算理論・プログラム理論・数理論理学・プログラム言語論・ソフトウェア工学・形式手法・分子計算・生命分子計算・ＤＮＡコンピュータ |
| 専攻長 |
教授 |
今井 浩 |
アルゴリズム論・離散構造・計算幾何・最適化・量子情報科学 |
|
教授 |
石川 裕 |
並列分散システムソフトウェア |
|
教授 |
須田 礼仁 |
並列数値計算 |
| 専攻主任 |
教授 |
小林 直樹 |
プログラミング言語・ソフトウェア検証 |
| |
教授 |
五十嵐 健夫 |
ユーザインタフェース・コンピュータグラフィックス |
| 新領域創成科学研究科複雑理工学専攻 |
准教授 |
高橋 成雄 |
コンピュータグラフィックス・形状モデリング・可視化 |
| |
講師 |
蓮尾 一郎 |
情報科学における数理構造・システム検証・量子プログラミング言語・圏論・数理論理学 |
| |
助教 |
角谷 良彦 |
計算モデル・数理論理学・圏論 |
| |
助教 |
河村 彰星 |
計算量・算法の理論・計算幾何学 |
| |
助教 |
ゲローフィ バリ |
オペレーティングシステム |
| 生物情報科学科 |
助教 |
玉田 嘉紀 |
バイオインフォマティクス・大規模並列計算 |
|
助教 |
松田 一孝 |
プログラミング言語・プログラム変換 |
| ゲノム情報科学 |
| 担当・関連専攻/研究所 |
職名 |
氏名 |
専門分野 |
| 医科学研究所ヒトゲノム解析センター |
教授 |
宮野 悟 |
DNA 情報解析、計算量理論、機械学習と発見 |
| |
教授 |
中井 謙太 |
遺伝子情報・ゲノム情報科学 |
| |
准教授 |
井元 清哉 |
ゲノム統計科学、マイクロアレイデータ解析 |
| |
准教授 |
渋谷 哲朗 |
ゲノム解析、アルゴリズム論 |
| |
講師 |
山口 類 |
大規模データ解析、統計科学 |
| 情報学環 |
| 担当・関連専攻/研究所 |
職名 |
氏名 |
専門分野 |
| 電子情報学専攻 |
教授 |
池内 克史 |
画像処理工学 |
| 農学生命科学研究科 |
| 担当・関連専攻/研究所 |
職名 |
氏名 |
専門分野 |
| 応用生命工学専攻 |
教授 |
清水 謙多郎 |
生物情報工学、並列・分散コンピューティング |
| 学際理学 |
| 担当・関連専攻/研究所 |
職名 |
氏名 |
専門分野 |
| 国立情報学研究所 |
教授 |
本位田 真一 |
エージェント、ソフトウェア工学 |
| |
教授 |
高野 明彦 |
プログラミングの代数、連想の情報学 |
| |
教授 |
相澤 彰子 |
テキストメディア、知識処理 |