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