教員・研究活動紹介 情報システム学専攻

※大学外からの電話番号は、内線番号の前に052-789をつけたものです。

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

計算論講座

氏名職名内線番号メールアドレス研究分野教員データベース情報知リンク個人ページ
酒井 正彦教授sakai項書換え系
プログラム変換
定理自動証明
http://profs.provost.nagoya-u.ac.jp/view/html/100001787_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=14_jhc_data.htmlhttps://www.trs.css.i.nagoya-u.ac.jp/~sakai/
金森 敬文教授4598kanamori機械学習
数理統計学
最適化
http://profs.provost.nagoya-u.ac.jp/view/html/100000386_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=24_jhc_data.htmlhttp://www.math.cm.is.nagoya-u.ac.jp/~kanamori/
西田 直樹准教授5141nishida項書換え系
プログラム変換
定理自動証明
http://profs.provost.nagoya-u.ac.jp/view/html/100002731_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=72_jhc_data.htmlhttp://www.sakabe.i.is.nagoya-u.ac.jp/~nishida/indexj.html
橋本 健二助教3074k-hasimt形式言語理論
ソフトウェア検証
http://profs.provost.nagoya-u.ac.jp/view/html/100007178_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=358_jhc_data.html

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

氏名職名内線番号メールアドレス研究分野教員データベース情報知リンク個人ページ
枝廣 正人教授eda組込みマルチ・メニーコアプロセッサ
並列ソフトウェア(最適化技術・アルゴリズム・開発環境)
http://profs.provost.nagoya-u.ac.jp/view/html/100005776_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=328_jhc_data.htmlhttps://www.pdsl.jp/
高田 広章*¹教授5887hiro組込みシステム
リアルタイム処理
オペレーティングシステム
http://profs.provost.nagoya-u.ac.jp/view/html/100000274_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=65_jhc_data.htmlhttp://www.ertl.jp/~hiro/hiro-j.html
山本 雅基*²特任教授5284myamamoto
::nces.is.nagoya-u.ac.jp
組込みソフトウェア
教育評価
http://www.is.nagoya-u.ac.jp/research/Pid=262_jhc_data.html
坂本 直史特任教授組込みシステム
自動車用SPF開発
http://profs.provost.nagoya-u.ac.jp/view/html/100008586_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=377_jhc_data.html
大山 博司客員教授
本田 晋也准教授2795honda組込みシステム
オペレーティングシステム
マルチプロセッサ
http://profs.provost.nagoya-u.ac.jp/view/html/100002734_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=363_jhc_data.htmlhttp://www.ertl.jp/~honda//
吉田 則裕*²准教授6392n-yoshidaプログラム解析
プログラミング支援環境
リファクタリング
http://profs.provost.nagoya-u.ac.jp/view/html/100007838_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=366_jhc_data.htmlhttps://sites.google.com/site/yoshidaatnu/home_ja
渡邉 陽介*¹特任准教授http://profs.provost.nagoya-u.ac.jp/view/html/100007867_ja.html
倉地 亮*²特任准教授6393kurachi
::nces.is.nagoya-u.ac.jp
http://www.is.nagoya-u.ac.jp/research/Pid=226_jhc_data.html
齋藤 理史助教ssaito非線形力学系
ハミルトン系カオス
可積分系
http://profs.provost.nagoya-u.ac.jp/view/html/100001835_ja.html
松原 豊*²助教3799yutaka組込みシステム
リアルタイム処理
安全・セキュアシステム構築技術
http://profs.provost.nagoya-u.ac.jp/view/html/100000378_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=365_jhc_data.htmlhttps://sites.google.com/site/yutakaertl/
*¹ 未来社会創造機構
*² 組込みシステム研究センター

ソフトウェア論講座

氏名職名内線番号メールアドレス研究分野教員データベース情報知リンク個人ページ
山本 修一郎教授6532yamamotosui
::icts.nagoya-u.ac.jp
ソフトウェア工学
要求工学
エンタープライズアーキテクチャ
知識流通コミュニケーション
http://profs.provost.nagoya-u.ac.jp/view/html/100002309_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=307_jhc_data.html
関 浩之教授5886seki形式言語理論とその応用
安全でセキュアなソフトウェアの設計法
http://profs.provost.nagoya-u.ac.jp/view/html/100006996_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=351_jhc_data.htmlhttp://www.sqlab.jp/sekilab/seki/Japanese/index.html
結縁 祥治教授yuen並行計算
通信プロセスモデル
プログラム検証
http://profs.provost.nagoya-u.ac.jp/view/html/100001809_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=77_jhc_data.htmlhttp://www.sqlab.i.is.nagoya-u.ac.jp/~yuen/index.html
佐藤 守一客員教授
森﨑 修司准教授5142morisakiソフトウェア工学http://www.is.nagoya-u.ac.jp/research/Pid=362_jhc_data.html
中澤 巧爾准教授4242knakプログラミング言語の理論
型理論
数理論理学
http://profs.provost.nagoya-u.ac.jp/view/html/100008700_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=375_jhc_data.htmlhttp://www.sqlab.i.is.nagoya-u.ac.jp/~nakazawa/
濱口 毅助教5148hamaguti形式的仕様記述
ソフトウェア開発法
プログラム検証
http://profs.provost.nagoya-u.ac.jp/view/html/100001878_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=73_jhc_data.htmlhttp://www.sqlab.i.is.nagoya-u.ac.jp/~hamaguti/index.html

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

協力講座(情報基盤センター)
氏名職名内線番号メールアドレス研究分野教員データベース情報知リンク個人ページ
村瀬 勉教授tom
::itc.nagoya-u.ac.jp
高度情報ネットワーク
QoS制御
輻輳制御
通信品質
無線ネットワーク
http://profs.provost.nagoya-u.ac.jp/view/html/100008455_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=372_jhc_data.htmlhttps://www.net.itc.nagoya-u.ac.jp/lab/
片桐 孝洋教授4382katagiri
::cc.nagoya-u.ac.jp
高性能計算・コデザイン
ソフトウェア自動チューニング
超並列数値計算アルゴリズム
http://profs.provost.nagoya-u.ac.jp/view/html/100009072_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=380_jhc_data.htmlhttp://www.abc-lib.org/MyHTML/index-j.html
嶋田 創准教授4390shimada
::itc.nagoya-u.ac.jp
グリーンコンピューティング
情報ネットワーク
計算機アーキテクチャ
http://profs.provost.nagoya-u.ac.jp/view/html/100006909_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=367_jhc_data.htmlhttps://www.net.itc.nagoya-u.ac.jp/~shimada/index.html
荻野 正雄准教授5899masao.ogino計算力学
並列計算
大規模構造解析
http://profs.provost.nagoya-u.ac.jp/view/html/100005980_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=336_jhc_data.htmlhttp://www.hpc.itc.nagoya-u.ac.jp/ogino/
山口 由紀子助教4364yamaguchiネットワーク運用技術
セキュリティ対策技術
http://profs.provost.nagoya-u.ac.jp/view/html/100002305_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=76_jhc_data.html
永井  亨助教4394nagai地球物理学
グリッドコンピューティング
http://profs.provost.nagoya-u.ac.jp/view/html/100002304_ja.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=71_jhc_data.html

PAGE TOP