|
<<
<
1
2
3
>
>>
|
| No. | 氏名(フリガナ) | 学修分野 | 研究領域 | 職名 | 研究キーワード |
| 1 |
青木 利晃
(アオキ トシアキ)
| 融合科学,
情報科学 | 次世代デジタル社会基盤 | 教授 | 形式手法, 形式検証, 車載システム, ソフトウェアテスト, ソフトウェア工学, モデル検査, 定理証明, 形式仕様 |
| 2 |
飯田 弘之
(イイダ ヒロユキ)
| 情報科学 | 人間情報学 | 教授 | Game-refinement theory, Artificial Intelligence, Game tree search, Entertainment Science, ゲーム情報学, Geme Theory, Mathematical, Search Algorithm |
| 3 |
池田 心
(イケダ ココロ)
| 融合科学,
情報科学 | 人間情報学 | 教授 | 強い・楽しませる・教えるゲームAI, 機械学習, エージェントシミュレーション, 囲碁, 情報教育, 遺伝的アルゴリズム, 意思決定, ゲーム, 事例ベース推論, 最適化, 人工知能, information education, optimization, Artificial intelligence |
| 4 |
井口 寧
(イノグチ ヤスシ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | 超並列, 並列処理, リコンフィギャラブルシステム, e-ラーニング, 計算機システム |
| 5 |
上原 隆平
(ウエハラ リュウヘイ)
| 情報科学 | コンピューティング科学 | 教授 | 計算量の理論とグラフアルゴリズム, Algorithm |
| 6 |
鵜木 祐史
(ウノキ マサシ)
| 情報科学 | 人間情報学 | 教授 | 音響情報ハイディング, 音声信号処理, 聴覚情景解析, 聴覚モデル, Speech dereverberation, Computational Auditory Scene Analysis, Auditory filterbank |
| 7 |
緒方 和博
(オガタ カズヒロ)
| 情報科学 | コンピューティング科学 | 教授 | 検証, 定理証明, 仕様記述, 書き換え, モデル検査 |
| 8 |
小川 瑞史
(オガワ ミズヒト)
| 情報科学 | コンピューティング科学 | 教授 | ソフトウェア検証, プログラム解析 |
| 9 |
NGUYEN, Minh Le
(グェン ミン レ)
| 情報科学 | コンピューティング科学 | 教授 | |
| 10 |
KURKOSKI, Brian Michael
(クルカスキー ブライアン マイケル)
| 情報科学 | コンピューティング科学 | 教授 | ディジタル記録のための符号化, 符号理論, 情報理論 |
| 11 |
篠田 陽一
(シノダ ヨウイチ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境 |
| 12 |
田中 清史
(タナカ キヨフミ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | プロセッサアーキテクチャ, 並列計算機, リアルタイムシステム, 組込みシステム, 高機能アーキテクチャ |
| 13 |
丹 康雄
(タン ヤスオ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | スマートホーム, IoT, ホームネットワーク, 情報家電, 計算機システム, 計算機ネットワーク, ユビキタスコンピューティング |
| 14 |
丁 洛榮
(チョン ナクヨン)
| 情報科学 | 人間情報学 | 教授 | 知能ロボットシステム, 知識ネットワークキングロボット制御, 機械システムの知能化, 遠隔操作ロボット, 人間協調・共存型ロボット |
| 15 |
長谷川 忍
(ハセガワ シノブ)
| 情報科学 | 人間情報学 | 教授 | 遠隔教育, Web-based Learning, e-Learning, ゲーミフィケーション |
| 16 |
平石 邦彦
(ヒライシ クニヒコ)
| 情報科学 | コンピューティング科学 | 教授 | ハイブリッドシステムに関する研究, 離散事象システム, 特に並行システム, システムの形式的モデル化と解析 |
| 17 |
藤﨑 英一郎
(フジサキ エイイチロウ)
| 情報科学 | コンピューティング科学 | 教授 | ネットワークセキュリティ, 情報セキュリティ, 暗号理論 |
| 18 |
前園 涼
(マエゾノ リョウ )
| 情報科学 | サスティナブルイノベーション | 教授 | マテリアルインフォマティクス, 多体電子論, 量子化学, 物性理論, 電子状態計算, 超並列シミュレーション, 量子シミュレーション |
| 19 |
浅野 文彦
(アサノ フミヒコ)
| 情報科学 | 人間情報学 | 准教授 | 脚式ロボット, 受動性, 制御工学, 機械力学, 動的システム理論 |
| 20 |
石井 大輔
(イシイ ダイスケ)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | 区間解析, 制約プログラミング, ハイブリッドシステム |
|
<<
<
1
2
3
>
>>
|