教員紹介

教員紹介

専任教員

氏名[職名] 専門分野 詳細情報
海谷 治彦
[教授]
ソフトウェア開発論
木下 佳樹
[教授]
プログラミング科学
算譜意味論(プログラム意味論)
算譜検証論(プログラム検証論)
妥当性確認論(theory of validation)
桑原 恒夫
[教授]
人間情報科学
後藤 智範
[教授]
情報検索,知能システム
斉藤 和巳
[教授]
知能情報学,ネットワーク科学,発見科学
田中 賢
[教授]
ネットワークセキュリティ
計算の複雑さ
ニューラルネット
言語獲得
張 善俊
[教授]
画像情報処理
視覚情報処理
CG
ニューロサイエンス
永松 礼夫
[教授]
分散処理システム
動的最適化
システム評価
スクリプト言語
松尾 和人
[教授]
暗号と情報セキュリティ
渡辺 毅
[特任教授]
イノベーション
技術経営
学習科学
計算機アーキテクチャ
ボサール アントワーヌ
[准教授]
グラフ理論
アルゴリズム
松井 祥悟
[准教授]
計算機科学
(言語処理系,並列化技術)
木元 宏次
[助手]
コンピュータグラフィックス
南雲 夏彦
[助手]
ゲーム理論
最適化問題
森本 貴之
[助手]
知能情報学
松田 直祐
[特別助手]
数理論理学
ラムダ計算