在学生の方へ 
教職員の方へ ※大学外からの電話番号は、内線番号によって市内局番が異なります。
①2000番～5999番：052-789-
②6000番～6299番：052-788-
③6300番～6999番：052-747-
④7000番～：内線専用番号のため外線からはつながりません。
※メールアドレスには@i.nagoya-u.ac.jpをつけてください。
※上記以外のアドレスは :: を@に置き換えてください。
計算論講座
| 氏名 | 職名 | 内線番号 | メールアドレス | 研究分野 | 教員データベース | 情報玉手箱リンク | 個人ページ |
|---|---|---|---|---|---|---|---|
| 酒井 正彦 | 教授 | 3803 | sakai | 項書換え系 プログラム変換 定理自動証明 | http://profs.provost.nagoya-u.ac.jp/view/html/100001787_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4185/ | https://www.trs.css.i.nagoya-u.ac.jp/~sakai/ |
| 番原 睦則 | 教授 | 4598 | banbara | SAT 制約プログラミング 解集合プログラミング | http://profs.provost.nagoya-u.ac.jp/view/html/100010242_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3955/ | https://banbaralab.github.io |
| 西田 直樹 | 教授 | 5141 | nishida | 項書換え系 プログラム変換 定理自動証明 | http://profs.provost.nagoya-u.ac.jp/view/html/100002731_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3849/ | https://www.trs.css.i.nagoya-u.ac.jp/person/nishida/indexj.html |
| 宋 剛秀 | 准教授 | 3076 | soh | SAT 制約プログラミング システム生物学 | https://profs.provost.nagoya-u.ac.jp/html/100014374_ja.html | https://banbaralab.github.io |
情報プラットフォーム論講座
| 氏名 | 職名 | 内線番号 | メールアドレス | 研究分野 | 教員データベース | 情報玉手箱リンク | 個人ページ |
|---|---|---|---|---|---|---|---|
| 枝廣 正人 | 教授 | 3312 | eda | 組込みマルチ・メニーコアプロセッサ 並列ソフトウェア（最適化技術・アルゴリズム・開発環境） | http://profs.provost.nagoya-u.ac.jp/view/html/100005776_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3379/ | https://www.pdsl.jp/ |
| 高田 広章*¹ | 教授 | 5887 | hiro | 組込みシステム リアルタイム処理 オペレーティングシステム | http://profs.provost.nagoya-u.ac.jp/view/html/100000274_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4460/ | http://www.ertl.jp/~hiro/hiro-j.html |
| 石原 亨 | 教授 | 4363 | ishihara | 組込みシステム 低消費電力システム設計 省エネルギーコンピューティング | https://profs.provost.nagoya-u.ac.jp/html/100010243_ja.html | 情報玉手箱 | https://www.eec.css.i.nagoya-u.ac.jp/ |
| 本田 晋也 | 教授 | 5888 | honda | 組込みシステム 仮想化 ハードウェア・ソフトウェア協調設計 | https://profs.provost.nagoya-u.ac.jp/html/100002734_ja.html | ||
| 倉地 亮*² | 特任教授 | 6393 | kurachi ::nces.is.nagoya-u.ac.jp | 組込みシステム リアルタイムシステム 情報セキュリティ | https://profs.provost.nagoya-u.ac.jp/html/100002743_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4381/ | https://sites.google.com/view/ryokurachi/ |
| 大山 博司*4 | 客員教授 | ||||||
| 松原 豊 | 准教授 | 4597 | yutaka | 組込みシステム リアルタイム処理 安全・セキュアシステム構築技術 | http://profs.provost.nagoya-u.ac.jp/view/html/100006424_ja.html?k=%E6%9D%BE%E5%8E%9F | https://tamatebako.i.nagoya-u.ac.jp/4080/ | https://sites.google.com/site/yutakaertl/ |
| 増田 豊 | 准教授 | 5339 | masuda | 低消費電力な回路設計手法 省エネルギー計算技術 集積システムの検証とテスト | http://profs.provost.nagoya-u.ac.jp/view/html/100010616_ja.html?k=masuda | 情報玉手箱 | http://www.eec.css.i.nagoya-u.ac.jp/209-2/ |
| 渡邉 陽介*¹ | 特任准教授 | 6921 | watanabe.yousuke.s1 ::f.mail.nagoya-u.ac.jp | データ工学 データベースシステム | http://profs.provost.nagoya-u.ac.jp/view/html/100007867_ja.html | ||
| 大谷寿賀子*3 | 客員准教授 | 計算機アーキテクチャ設計 | |||||
| 山田 峻也 *1 | 助教 | 3630 | s_yamada ::ertl.jp | 空間センシング データフュージョン | https://profs.provost.nagoya-u.ac.jp/html/100012312_ja.html | ||
| 李 奕驍 *2 | 特任助教 | 5147 | liyixiao ::nces.i.nagoya-u.ac.jp | 組込みシステム リアルタイム処理 ソフトウェアプラットフォーム | https://profs.provost.nagoya-u.ac.jp/html/100012276_ja.html |
*² 情報学研究科附属組込みシステム研究センター
*3ルネサスエレクトロニクス株式会社
*4オークマ株式会社
ソフトウェア論講座
| 氏名 | 職名 | 内線番号 | メールアドレス | 研究分野 | 教員データベース | 情報玉手箱リンク | 個人ページ |
|---|---|---|---|---|---|---|---|
| 結縁祥治 | 教授 | yuen | 並行計算 通信プロセスモデル プログラム検証 | http://profs.provost.nagoya-u.ac.jp/view/html/100001809_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4368/ | https://www.sqlab.jp/yuen | |
| 楫 勇一 | 教授 | 4380 | kaji | 情報理論、情報セキュリティ | https://profs.provost.nagoya-u.ac.jp/view/html/100009250_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4369/ | |
| 森﨑修司 | 准教授 | 5142 | morisaki | ソフトウェア工学 | https://profs.provost.nagoya-u.ac.jp/html/100007179_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3811/ | https://sites.google.com/view/morisakilaboratory/ |
| 中澤巧爾 | 准教授 | 4242 | knak | プログラミング言語の理論 型理論 数理論理学 | http://profs.provost.nagoya-u.ac.jp/view/html/100008700_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3922/ | https://knaknak.github.io/ |
| 濱口 毅 | 助教 | 5148 | hamaguti | 形式的仕様記述 ソフトウェア開発法 プログラム検証 | http://profs.provost.nagoya-u.ac.jp/view/html/100001878_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4411/ | https://www.trs.css.i.nagoya-u.ac.jp/person/hamaguti/ |
| 井上 裕介 | 助教 | 3621 | inoue.yusuke.m9::f.mail.nagoya-u.ac.jp | 形式言語理論 | https://profs.provost.nagoya-u.ac.jp/html/100014237_ja.html |
情報ネットワークシステム論講座
*1協力講座（情報基盤センター）| 氏名 | 職名 | 内線番号 | メールアドレス | 研究分野 | 教員データベース | 情報玉手箱リンク | 個人ページ |
|---|---|---|---|---|---|---|---|
| 村瀬 勉＊1 | 教授 | tom ::itc.nagoya-u.ac.jp | 高度情報ネットワーク QoS制御 輻輳制御 通信品質 無線ネットワーク | http://profs.provost.nagoya-u.ac.jp/view/html/100008455_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3895/ | https://www.mcn.itc.nagoya-u.ac.jp/ | |
| 片桐孝洋＊1 | 教授 | 4382 | katagiri ::cc.nagoya-u.ac.jp | 高性能計算・コデザイン ソフトウェア自動チューニング 超並列数値計算アルゴリズム | http://profs.provost.nagoya-u.ac.jp/view/html/100009072_ja.html | https://tamatebako.i.nagoya-u.ac.jp/3891/ | http://www.abc-lib.org/MyHTML/index-j.html |
| 嶋田 創＊1 | 准教授 | 4390 | shimada ::itc.nagoya-u.ac.jp | グリーンコンピューティング 情報ネットワーク 計算機アーキテクチャ | http://profs.provost.nagoya-u.ac.jp/view/html/100006909_ja.html | https://tamatebako.i.nagoya-u.ac.jp/4452/ | https://www.net.itc.nagoya-u.ac.jp/~shimada/index.html |
| 星野哲也＊1 | 准教授 | hoshino ::cc.nagoya-u.ac.jp | https://profs.provost.nagoya-u.ac.jp/html/100012623_ja.html | ||||
| 椋木大地＊1 | 助教 | 4394 | mukunoki.daichi.p2::f.mail.nagoya-u.ac.jp | 高性能計算 数値計算 GPUコンピューティング | https://profs.provost.nagoya-u.ac.jp/html/100013888_ja.html | https://mukunoki.github.io/ |
