教員一覧
教授
※大学外からの電話番号は、内線番号の前に 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をつけます)。
| 氏 名 | 内線番号 | メールアドレス | キーワード |
|---|---|---|---|
| 石川 佳治 | 3306 | ishikawa | データベース データ工学 ウェブ情報システム |
| 枝廣 正人 | 3312 | eda | 組込みマルチ・メニーコア 最適化アルゴリズム 並列化環境 |
| 片桐 孝洋 | 4382 | (katagiri)*4 | 高性能計算・コデザイン ソフトウェア自動チューニング 超並列数値計算アルゴリズム |
| 金森 敬文 | 4598 | kanamori | 機械学習 数理統計学 連続最適化 情報幾何学 |
| 酒井 正彦 | 3803 | sakai | 計算モデル 定理自動証明 プログラム変換 プログラム検証 項書換え系 |
| 関 浩之 | 5886 | seki | 形式言語理論とその応用 安全でセキュアなソフトウェアの設計法 |
| 高田 広章 | 5887 | hiro | 組込みシステム開発技術 リアルタイムOS リアルタイムスケジューリング理論 車載組込みシステムと車載ネットワーク ダイナミックマップ |
| 戸田 智基 | 4346 | tomoki | 音声情報処理 音メディア信号処理 コミュニケーション支援・拡張 |
| 外山 勝彦 | 5146 | toyama | 自然言語処理 法情報処理 知識情報処理 |
| 長尾 確 | 5878 | nagao | デジタルコンテンツ技術 エージェント技術 拡張現実感 自然言語処理 人工知能 |
| 間瀬 健二 | 5898 | mase | マルチモーダルインタフェース ウェアラブル・ユビキタスコンピュータ 画像・映像処理 コミュニケーション支援 ヘルスケア応用 e-コーチング |
| 松原 茂樹 | 4387 | matubara | 自然言語処理 テキスト・アナリティクス 対話インタフェース 音声言語処理 |
| 村瀬 洋 | 5285 | murase | 画像認識 文字認識 メディア探索 映像処理 コンピュータビジョン |
| 村瀬 勉 | (6895)*1 | (tom)*3 | 情報ネットワーク 待ち行列理論 次世代ネットワーク 通信プロトコル技術 |
| 森 健策 | 5689 | kensaku | 画像処理 コンピュータグラフィックス 医用画像処理 コンピュー支援画像診断 コンピュータ支援外科 |
| 山本 修一郎 | (6532)*1 | (yamamotosui)*2 | ソフトウェア工学 要求工学 ユビキタスコンピューティング 知識創造デザイン ディペンダビリティ工学 |
| 結縁 祥治 | 3649 | yuen | 並行計算モデル プロセス代数 プログラム意味論 ネットワーク基礎論 ソフトウェア基礎 |
准教授・講師
※大学外からの電話番号は、内線番号の前に 052-789 をつけたものです（ただし、( )*1は052-747をつけます）。
※メールアドレスには @is.nagoya-u.ac.jp をつけて下さい(ただし、()*2は@icts.nagoya-u.ac.jpをつけます)。
| 氏 名 | 内線番号 | メールアドレス | キーワード |
|---|---|---|---|
| 井手 一郎 | 3313 | ide | マルチメディアコンテンツ処理・編集 画像処理 自然言語処理 データマイニング 放送映像アーカイブ 食メディア |
| 小川 泰弘 | (6713)*1 | yasuhiro | 自然言語処理 形態素解析 日本語－ウイグル語機械翻訳 法律文書処理 |
| 荻野 正雄 | 5899 | masao.ogino | 計算力学 並列計算 大規模構造解析 |
| 加藤ジェーン | 5626 | jien | 物体詳細識別 行動認識・理解 高速大規模画像処理 映像コンテンツの自動フィルタリング ディープラーニング |
| 工藤 博章 | 3309 | kudo | 視聴覚情報処理 ヒューマンインタフェース 人間支援技術 |
| 嶋田 創 | 4390 | shimada | 情報セキュリティ 対サイバー攻撃技術 動的ネットワーク運用 低電力アーキテクチャ グリーンコンピューティング |
| 出口 大輔 | 3310 | ddeguchi | パターン認識 コンピュータビジョン 車載カメラ画像処理 |
| 中澤 巧爾 | 4242 | knak | プログラミング言語の理論 型理論 数理論理学 |
| 西田 直樹 | 5141 | nishida | 項書換え系 関数型言語 プログラム変換 ソフトウェア検証 |
| 本田 晋也 | 5888 | honda | 組込みシステム オペレーティングシステム マルチプロセッサ |
| 森崎 修司 | 5142 | morisaki | 実証的ソフトウェア工学 ソフトウェアレビュー ソフトウェア開発管理 |
助教
※大学外からの電話番号は、内線番号の前に 052-789 をつけたものです。
※メールアドレスには @is.nagoya-u.ac.jp をつけて下さい。
| 氏 名 | 内線番号 | メールアドレス | キーワード |
|---|---|---|---|
| 榎堀 優 | 5630 | enokibori | ユビキタス ウェアラブル 医療/看護支援 技能習得/指導支援 |
| 大野 誠寛 | 4359 | ohno | 自然言語処理 話し言葉処理 法律文書処理 |
| 大平 茂輝 | 5878 | ohira | マルチメディアコンテンツ処理 音声言語処理 自然言語処理 情報検索 |
| 小田 昌宏 | 5688 | moda | 医用画像処理 パターン認識 計算機支援診断 計算機支援治療 |
| 川西 康友 | 3310 | kawanishi | 人物画像処理 パターン認識 物体検出 |
| 齋藤 理史 | 2763 | ssaito | 非線形力学系 ハミルトン系カオス 可積分系 |
| 橋本 健二 | 3074 | k-hasimt | 形式言語理論 ソフトウェア検証 |
| 濱口 毅 | 5148 | hamaguti | ソフトウェア開発法 形式的仕様記述 プログラム検証 |
| 松原 豊 | 3798 | yutaka | 組込みシステム リアルタイムOS 安全分析手法 組込み／IoT機器のセキュリティ |
| 松本 哲也 | 3098 | matumoto | ニューラルネット 画像処理 パターン認識 機械学習 |