教員一覧

教授

※大学外からの電話番号は、内線番号の前に 052-789 をつけたものです(ただし、( )*1は052-747をつけます)。
※メールアドレスには @is.nagoya-u.ac.jp をつけて下さい(ただし、()*2は@icts.nagoya-u.ac.jp、()*3は@itc.nagoya-u.ac.jp、()*4は@cc.nagoya-u.ac.jpをつけます)。

氏  名内線番号メールアドレスキーワード
石川 佳治3306ishikawaデータベース
データ工学
ウェブ情報システム
枝廣 正人3312eda組込みマルチ・メニーコア
最適化アルゴリズム
並列化環境
片桐 孝洋4382(katagiri)*4高性能計算・コデザイン
ソフトウェア自動チューニング
超並列数値計算アルゴリズム
金森 敬文4598kanamori機械学習
数理統計学
連続最適化
情報幾何学
酒井 正彦3803sakai計算モデル
定理自動証明
プログラム変換
プログラム検証
項書換え系
関  浩之5886seki形式言語理論とその応用
安全でセキュアなソフトウェアの設計法
高田 広章5887hiro組込みシステム開発技術
リアルタイムOS
リアルタイムスケジューリング理論
車載組込みシステムと車載ネットワーク
ダイナミックマップ
戸田 智基4346tomoki音声情報処理
音メディア信号処理
コミュニケーション支援・拡張
外山 勝彦5146toyama自然言語処理
法情報処理
知識情報処理
長尾  確5878nagaoデジタルコンテンツ技術
エージェント技術
拡張現実感
自然言語処理
人工知能
間瀬 健二5898maseマルチモーダルインタフェース
ウェアラブル・ユビキタスコンピュータ
画像・映像処理
コミュニケーション支援
ヘルスケア応用
e-コーチング
松原 茂樹4387matubara自然言語処理
テキスト・アナリティクス
対話インタフェース
音声言語処理
村瀬  洋5285murase画像認識
文字認識
メディア探索
映像処理
コンピュータビジョン
村瀬  勉(6895)*1(tom)*3情報ネットワーク
待ち行列理論
次世代ネットワーク
通信プロトコル技術
森  健策5689kensaku画像処理
コンピュータグラフィックス
医用画像処理
コンピュー支援画像診断
コンピュータ支援外科
山本 修一郎(6532)*1(yamamotosui)*2ソフトウェア工学
要求工学
ユビキタスコンピューティング
知識創造デザイン
ディペンダビリティ工学
結縁 祥治3649yuen並行計算モデル
プロセス代数
プログラム意味論
ネットワーク基礎論
ソフトウェア基礎

准教授・講師

※大学外からの電話番号は、内線番号の前に 052-789 をつけたものです(ただし、( )*1は052-747をつけます)。
※メールアドレスには @is.nagoya-u.ac.jp をつけて下さい(ただし、()*2は@icts.nagoya-u.ac.jpをつけます)。

氏  名内線番号メールアドレスキーワード
井手 一郎3313ideマルチメディアコンテンツ処理・編集
画像処理
自然言語処理
データマイニング
放送映像アーカイブ
食メディア
小川 泰弘(6713)*1yasuhiro自然言語処理
形態素解析
日本語-ウイグル語機械翻訳
法律文書処理
荻野 正雄5899masao.ogino計算力学
並列計算
大規模構造解析
加藤ジェーン5626jien物体詳細識別
行動認識・理解
高速大規模画像処理
映像コンテンツの自動フィルタリング
ディープラーニング
工藤 博章3309kudo視聴覚情報処理
ヒューマンインタフェース
人間支援技術
嶋田  創4390shimada情報セキュリティ
対サイバー攻撃技術
動的ネットワーク運用
低電力アーキテクチャ
グリーンコンピューティング
出口 大輔3310ddeguchiパターン認識
コンピュータビジョン
車載カメラ画像処理
中澤 巧爾4242knakプログラミング言語の理論
型理論
数理論理学
西田 直樹5141nishida項書換え系
関数型言語
プログラム変換
ソフトウェア検証
本田 晋也5888honda組込みシステム
オペレーティングシステム
マルチプロセッサ
森崎 修司5142morisaki実証的ソフトウェア工学
ソフトウェアレビュー
ソフトウェア開発管理

助教

※大学外からの電話番号は、内線番号の前に 052-789 をつけたものです。
※メールアドレスには @is.nagoya-u.ac.jp をつけて下さい。

氏  名内線番号メールアドレスキーワード
榎堀  優5630enokiboriユビキタス
ウェアラブル
医療/看護支援
技能習得/指導支援
大野 誠寛4359ohno自然言語処理
話し言葉処理
法律文書処理
大平 茂輝5878ohiraマルチメディアコンテンツ処理
音声言語処理
自然言語処理
情報検索
小田 昌宏5688moda医用画像処理
パターン認識
計算機支援診断
計算機支援治療
川西 康友3310kawanishi人物画像処理
パターン認識
物体検出
齋藤 理史2763ssaito非線形力学系
ハミルトン系カオス
可積分系
橋本 健二3074k-hasimt形式言語理論
ソフトウェア検証
濱口  毅5148hamagutiソフトウェア開発法
形式的仕様記述
プログラム検証
松原  豊3798yutaka組込みシステム
リアルタイムOS
安全分析手法
組込み/IoT機器のセキュリティ
松本 哲也3098matumotoニューラルネット
画像処理
パターン認識
機械学習