教員紹介 情報システム学専攻

※大学外からの電話番号は、内線番号によって市内局番が異なります。

 ①2000番~5999番:052-789-

 ②6000番~6299番:052-788-

 ③6300番~6999番:052-747-

 ④7000番~:内線専用番号のため外線からはつながりません。

※メールアドレスには@i.nagoya-u.ac.jpをつけてください。
※上記以外のアドレスは :: を@に置き換えてください。

計算論講座

氏名職名内線番号メールアドレス研究分野教員データベース情報玉手箱リンク個人ページ
酒井 正彦教授3803sakai項書換え系
プログラム変換
定理自動証明
http://profs.provost.nagoya-u.ac.jp/view/html/100001787_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4185/https://www.trs.css.i.nagoya-u.ac.jp/~sakai/
番原 睦則教授4598banbaraSAT
制約プログラミング
解集合プログラミング
http://profs.provost.nagoya-u.ac.jp/view/html/100010242_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3955/http://kaminari.cspsat.css.i.nagoya-u.ac.jp/banbara-jp.html
西田 直樹准教授5141nishida項書換え系
プログラム変換
定理自動証明
http://profs.provost.nagoya-u.ac.jp/view/html/100002731_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3849/https://www.trs.css.i.nagoya-u.ac.jp/person/nishida/indexj.html
橋本 健二助教3074k-hasimt形式言語理論
ソフトウェア検証
http://profs.provost.nagoya-u.ac.jp/view/html/100007178_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4448/

情報プラットフォーム論講座

氏名職名内線番号メールアドレス研究分野教員データベース情報玉手箱リンク個人ページ
枝廣 正人教授3312eda組込みマルチ・メニーコアプロセッサ
並列ソフトウェア(最適化技術・アルゴリズム・開発環境)
http://profs.provost.nagoya-u.ac.jp/view/html/100005776_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3379/https://www.pdsl.jp/
高田 広章*¹教授5887hiro組込みシステム
リアルタイム処理
オペレーティングシステム
http://profs.provost.nagoya-u.ac.jp/view/html/100000274_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4460/http://www.ertl.jp/~hiro/hiro-j.html
石原 亨教授4363ishihara組込みシステム
低消費電力システム設計
省エネルギーコンピューティング
https://profs.provost.nagoya-u.ac.jp/html/100010243_ja.html情報玉手箱
山本 雅基*²特任教授5284myamamoto
::nces.is.nagoya-u.ac.jp
組込みソフトウェア
教育評価
https://profs.provost.nagoya-u.ac.jp/html/100002742_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4175/
大山 博司*4
客員教授
松原 豊准教授4597yutaka組込みシステム
リアルタイム処理
安全・セキュアシステム構築技術
http://profs.provost.nagoya-u.ac.jp/view/html/100006424_ja.html?k=%E6%9D%BE%E5%8E%9Fhttps://tamatebako.i.nagoya-u.ac.jp/4080/https://sites.google.com/site/yutakaertl/
増田 豊准教授5339masuda低消費電力かつ高信頼なコンピュータの設計検証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/
渡邉 陽介*¹特任准教授6921yosuke.watanabe
::mirai.nagoya-u.ac.jp
データ工学
データベースシステム
http://profs.provost.nagoya-u.ac.jp/view/html/100007867_ja.html
倉地 亮*²特任准教授6393kurachi
::nces.is.nagoya-u.ac.jp
組込みシステム
リアルタイムシステム
情報セキュリティ
https://profs.provost.nagoya-u.ac.jp/html/100002743_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4381/https://sites.google.com/view/ryokurachi/
大谷寿賀子*3客員准教授計算機アーキテクチャ設計
李 奕驍 *2特任助教5147liyixiao
::nces.i.nagoya-u.ac.jp
組込みシステム
リアルタイム処理
ソフトウェアプラットフォーム
山田 峻也 *2特任助教3630s_yamada
::ertl.jp
空間センシング
データフュージョン
*¹ 名古屋大学未来社会創造機構
*² 名古屋大学情報学研究科附属組込みシステム研究センター
*3ルネサスエレクトロニクス株式会社
*4オークマ株式会社

ソフトウェア論講座

氏名職名内線番号メールアドレス研究分野教員データベース情報玉手箱リンク個人ページ
関 浩之教授5886seki形式言語理論とその応用
安全でセキュアなソフトウェアの設計法
http://profs.provost.nagoya-u.ac.jp/view/html/100006996_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4442/https://sites.google.com/a/sqlab.jp/sk-lab/
結縁祥治教授yuen並行計算
通信プロセスモデル
プログラム検証
http://profs.provost.nagoya-u.ac.jp/view/html/100001809_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4368/https://www.sqlab.jp/yuen
楫 勇一教授4380kaji情報理論、情報セキュリティhttps://profs.provost.nagoya-u.ac.jp/view/html/100009250_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4369/
森﨑修司准教授5142morisakiソフトウェア工学https://profs.provost.nagoya-u.ac.jp/html/100007179_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3811/https://sites.google.com/view/morisakilaboratory/
中澤巧爾准教授4242knakプログラミング言語の理論
型理論
数理論理学
http://profs.provost.nagoya-u.ac.jp/view/html/100008700_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3922/https://knaknak.github.io/
濱口 毅助教5148hamaguti形式的仕様記述
ソフトウェア開発法
プログラム検証
http://profs.provost.nagoya-u.ac.jp/view/html/100001878_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4411/https://www.trs.css.i.nagoya-u.ac.jp/person/hamaguti/

情報ネットワークシステム論講座

*1協力講座(情報基盤センター)
*2株式会社豊田中央研究所
氏名職名内線番号メールアドレス研究分野教員データベース情報玉手箱リンク個人ページ
村瀬 勉*1教授tom
::itc.nagoya-u.ac.jp
高度情報ネットワーク
QoS制御
輻輳制御
通信品質
無線ネットワーク
http://profs.provost.nagoya-u.ac.jp/view/html/100008455_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3895/https://www.net.itc.nagoya-u.ac.jp/lab/
片桐孝洋*1
教授4382katagiri
::cc.nagoya-u.ac.jp
高性能計算・コデザイン
ソフトウェア自動チューニング
超並列数値計算アルゴリズム
http://profs.provost.nagoya-u.ac.jp/view/html/100009072_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/3891/http://www.abc-lib.org/MyHTML/index-j.html
牧戸知史*2客員教授無線通信技術、通信プロトコル、非線形物理
嶋田 創*1准教授4390shimada
::itc.nagoya-u.ac.jp
グリーンコンピューティング
情報ネットワーク
計算機アーキテクチャ
http://profs.provost.nagoya-u.ac.jp/view/html/100006909_ja.htmlhttps://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
永井 亨*1助教4394nagai地球物理学
グリッドコンピューティング
http://profs.provost.nagoya-u.ac.jp/view/html/100002304_ja.htmlhttps://tamatebako.i.nagoya-u.ac.jp/4408/

PAGE TOP