| No. | 氏名(フリガナ) | 学修分野 | 研究領域 | 職名 | 研究キーワード |
| 1 |
上原 隆平
(ウエハラ リュウヘイ)
| 情報科学 | コンピューティング科学 | 教授 | 計算量の理論とグラフアルゴリズム, Algorithm |
| 2 |
緒方 和博
(オガタ カズヒロ)
| 情報科学 | コンピューティング科学 | 教授 | 検証, 定理証明, 仕様記述, 書き換え, モデル検査 |
| 3 |
小川 瑞史
(オガワ ミズヒト)
| 情報科学 | コンピューティング科学 | 教授 | ソフトウェア検証, プログラム解析 |
| 4 |
NGUYEN, Minh Le
(グェン ミン レ)
| 情報科学 | コンピューティング科学 | 教授 | Legal Text Processing, Deep Learning, Natural Language Processing |
| 5 |
KURKOSKI, Brian Michael
(クルカスキー ブライアン マイケル)
| 情報科学 | コンピューティング科学 | 教授 | ディジタル記録のための符号化, 符号理論, 情報理論 |
| 6 |
平石 邦彦
(ヒライシ クニヒコ)
| 情報科学 | コンピューティング科学 | 教授 | ハイブリッドシステムに関する研究, 離散事象システム, 特に並行システム, システムの形式的モデル化と解析 |
| 7 |
藤﨑 英一郎
(フジサキ エイイチロウ)
| 情報科学 | コンピューティング科学 | 教授,
コンピューティング科学研究領域長 | ネットワークセキュリティ, 情報セキュリティ, 暗号理論 |
| 8 |
井之上 直也
(イノウエ ナオヤ)
| 情報科学 | コンピューティング科学 | 准教授 | |
| 9 |
SCHWARTZMAN, Gregory
(シュワルツマン グレゴリー)
| 情報科学 | コンピューティング科学 | 准教授 | Graph algorithms, Distributed Computing |
| 10 |
髙木 翼
(タカギ ツバサ)
| 情報科学 | コンピューティング科学 | 准教授 | |
| 11 |
廣川 直
(ヒロカワ ナオ)
| 情報科学 | コンピューティング科学 | 准教授 | 自動演繹, 計算量解析, 合流性, 停止性, 項書換え |
| 12 |
RACHARAK, Teeradaj
(ラチャラク ティーラデチ)
| 情報科学 | コンピューティング科学 | 講師 | Artificial Intelligence, Neuro-Symbolic AI, Explainable AI, Description Logic, Argumentation, Machine Learning |
| 13 |
鎌田 斗南
(カマタ トナン)
| 情報科学 | コンピューティング科学 | 助教 | 計算幾何学, 離散幾何学, 計算折り紙 |
| 14 |
DO, Minh Canh
(ド ミン カン)
| 情報科学 | コンピューティング科学 | 助教 | Specification, Verification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information |