No. | 氏名(フリガナ) | 学修分野 | 研究領域 | 職名 | 研究キーワード |
1 |
緒方 和博 (オガタ カズヒロ)
| 情報科学 | コンピューティング科学 | 教授 | 検証, 定理証明, 仕様記述, 書き換え, モデル検査 |
2 |
小川 瑞史 (オガワ ミズヒト)
| 情報科学 | コンピューティング科学 | 教授 | ソフトウェア検証, プログラム解析 |
3 |
NGUYEN, Minh Le (グェン ミン レ)
| 情報科学 | コンピューティング科学 | 教授 | |
4 |
丁 洛榮 (チョン ナクヨン)
| 情報科学 | 人間情報学 | 教授 | 知能ロボットシステム, 知識ネットワークキングロボット制御, 機械システムの知能化, 遠隔操作ロボット, 人間協調・共存型ロボット |
5 |
浅野 文彦 (アサノ フミヒコ)
| 情報科学 | 人間情報学 | 准教授 | 脚式ロボット, 受動性, 制御工学, 機械力学, 動的システム理論 |
6 |
岡田 将吾 (オカダ ショウゴ)
| 情報科学 | 人間情報学 | 准教授 | データマイニング, 機械学習, ヒューマンダイナミクス, マルチモーダルインタラクション, 社会的信号処理 |
7 |
SCHWARTZMAN, Gregory (シュワルツマン グレゴリー)
| 情報科学 | コンピューティング科学 | 准教授 | Graph algorithms, Distributed Computing |
8 |
池 勇勳 (チ ヨンフン)
| マテリアルサイエンス | 人間情報学 | 准教授 | ロボット工学 |
9 |
廣川 直 (ヒロカワ ナオ)
| 情報科学 | コンピューティング科学 | 准教授 | 自動演繹, 計算量解析, 合流性, 停止性, 項書換え |
10 |
HO, Anh Van (ホ アン ヴァン)
| 融合科学, マテリアルサイエンス | 人間情報学 | 准教授 | タンジブル装置, マニピュレーション, 触覚, ソフトロボティクス |
11 |
RACHARAK, Teeradaj (ラチャラク ティーラデチ)
| 情報科学 | コンピューティング科学 | 講師 | Artificial Intelligence, Neuro-Symbolic AI, Explainable AI, Description Logic, Argumentation, Machine Learning |