検索条件 : 情報科学系  (56 件中 1 - 20 件を表示)
56名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
<< < 1 2 3 > >>
No.氏名(フリガナ)学系領域職名研究キーワード
1 青木 利晃
(アオキ トシアキ)
融合科学系,
情報科学系
セキュリティ・ネットワーク教授形式手法, 形式検証, 車載システム, ソフトウェアテスト, ソフトウェア工学, モデル検査, 定理証明, 形式仕様
2 赤木 正人
(アカギ マサト)
情報科学系ヒューマンライフデザイン教授音波形の信号処理
3 飯田 弘之
(イイダ ヒロユキ)
情報科学系ゲーム・エンタテインメント教授ゲーム情報学, Geme Theory, Mathematical, Search Algorithm, Game-refinement theory, Artificial Intelligence, Game tree search, Entertainment Science
4 石原 哉
(イシハラ ハジメ)
情報科学系知能ロボティクス教授計算論, 数理論理学, 構成的数学, 直観主義論理, 逆数学, 構成的集合論
5 井口 寧
(イノグチ ヤスシ)
情報科学系セキュリティ・ネットワーク教授計算機システム, 超並列, 並列処理, リコンフィギャラブルシステム, e-ラーニング
6 上原 隆平
(ウエハラ リュウヘイ)
情報科学系ゲーム・エンタテインメント教授,
情報科学系長
計算量の理論とグラフアルゴリズム, Algorithm
7 鵜木 祐史
(ウノキ マサシ)
情報科学系ヒューマンライフデザイン教授音声信号処理, 聴覚情景解析, 聴覚モデル, Speech dereverberation, Computational Auditory Scene Analysis, Auditory filterbank, 音響情報ハイディング
8 緒方 和博
(オガタ カズヒロ)
情報科学系知能ロボティクス教授検証, 定理証明, 仕様記述, 書き換え, モデル検査
9 小川 瑞史
(オガワ ミズヒト)
情報科学系知能ロボティクス教授ソフトウェア検証, プログラム解析
10 金子 峰雄
(カネコ ミネオ)
情報科学系セキュリティ・ネットワーク教授集積回路, 電子回路, 回路理論, CAD, 最適化, アルゴリズム
11 NGUYEN, Minh Le
(グェン ミン レ)
情報科学系知能ロボティクス教授 
12 KURKOSKI, Brian Michael
(クルカスキー ブライアン マイケル)
情報科学系セキュリティ・ネットワーク教授ディジタル記録のための符号化, 符号理論, 情報理論
13 小谷 一孔
(コタニ カズノリ)
融合科学系,
情報科学系
ゲーム・エンタテインメント教授画像情報解析・理解, 顔画像解析, CG, Computer Vision
14 篠田 陽一
(シノダ ヨウイチ)
情報科学系セキュリティ・ネットワーク教授ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境
15 丹 康雄
(タン ヤスオ)
情報科学系セキュリティ・ネットワーク教授ホームネットワーク, 情報家電, 計算機システム, 計算機ネットワーク, ユビキタスコンピューティング
16 丁 洛榮
(チョン ナクヨン)
情報科学系知能ロボティクス教授知識ネットワークキングロボット制御, 機械システムの知能化, 遠隔操作ロボット, 人間協調・共存型ロボット, 知能ロボットシステム
17 党 建武
(トウ タケシ)
情報科学系ヒューマンライフデザイン教授鼻孔放射, 音声知覚, フォルマント, 調音運動, 拡張有限要素法, 有限要素法, 摂食嚥下, MRI, MRI計測, バズ音, 舌運動, 音声合成・音声処理, 発話障害, 有声破裂音, 音声生成, 聴覚変形フィードバック, 軟口蓋, 軟口蓋の調音モデル, ホルマント, 発話訓練, 舌部分切除, 摂取嚥下, 発話状態の推定, 筋電信号, 発話運動, 顔画像, 個人性, 生理学的モデル
18 東条 敏
(トウジョウ サトシ)
情報科学系知能ロボティクス教授マルチエージェントによる協調問題解決, ソート階層と属性構造の論理, 自然言語の形式意味論
19 平石 邦彦
(ヒライシ クニヒコ)
情報科学系知識マネジメント教授ハイブリッドシステムに関する研究, 離散事象システム, 特に並行システム, システムの形式的モデル化と解析
20 藤﨑 英一郎
(フジサキ エイイチロウ)
情報科学系セキュリティ・ネットワーク教授ネットワークセキュリティ, 情報セキュリティ, 暗号理論
<< < 1 2 3 > >>