北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ> 系別一覧表
所属別一覧
先端科学技術研究科 先端科学技術専攻

46名が検索されました。 氏名をクリックすると、研究者の詳細情報が表示されます。

No. 氏名(フリガナ) 領域 職名 研究テーマのキーワード
41 JAVAID, Saher
(ジャヴイッド サハル )
情報科学系 助教
42 JEONG, Sungmoon
(チョン ソンムン )
情報科学系 知能ロボティクス領域 助教
43 冨田 尭
(トミタ タカシ )
情報科学系 セキュリティ・ネットワーク領域 助教 時間論理,オートマトン,リアクティブシステム,モデル検査,仕様検証,自動合成,近似的手法
44 根元 多佳子
(ネモト タカコ )
情報科学系 知能ロボティクス領域 助教 逆数学、直観主義論理、構成的数学
45 VIENNOT, Simon Robert Michel
(ビエノ シモン ロベール ミシェル )
情報科学系 ゲーム・エンタテインメント領域 助教
46 横山 啓太
(ヨコヤマ ケイタ )
情報科学系 知能ロボティクス領域 助教 証明論、1階/2階算術、逆数学、超準解析

≪ 前へ ]  1  2  3