TOP > Faculty Members > Department of Computing and Software Systems

Department of Computing and Software Systems

※Telephone numbers from outside the university have the number before the extension number as follows,

　Ⅰ From 2000 to 5999: +81-(0)52-789-

　Ⅱ From 6000 to 6299: +81-(0)52-788-

　Ⅲ From 6300 to 6999: +81-(0)52-747-

　Ⅳ From 7000: Extension only

※Please add @i.nagoya-u.ac.jp to the address.
※If full address is showed, please replace :: with @

Theory of Computation Unit

NameTitleTel Ext.E-mailResearch FieldFaculty Profile link"Information knowledge" linkPersonal site link
SAKAI, MasahikoProfessorsakaiTerm rewriting systems
Program transformation
Automatic theorem proving		http://profs.provost.nagoya-u.ac.jp/view/html/100001787_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=14_jhc_data_en.htmlhttps://www.trs.css.i.nagoya-u.ac.jp/~sakai/index.html.en
BANBARA, MutsunoriProfessorbanbaraSAT,
Constraint programming,
Answer-Set Programming 		http://profs.provost.nagoya-u.ac.jp/view/html/100010242_en.htmlhttp://kaminari.cspsat.css.i.nagoya-u.ac.jp/banbara.html
NISHIDA, NaokiAssociate Professor5141nishidaTerm rewriting system
Program transformation
Automated theorem proving		http://profs.provost.nagoya-u.ac.jp/view/html/100002731_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=72_jhc_data_en.htmlhttps://www.trs.css.i.nagoya-u.ac.jp/person/nishida/
HASHIMOTO, KenjiAssistant Professor3074k-hasimtFormal language theory
Formal verification		http://profs.provost.nagoya-u.ac.jp/view/html/100007178_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=358_jhc_data_en.html

Information System Platform Unit

NameTitleTel Ext.E-mailResearch FieldFaculty Profile link"Information knowledge" linkPersonal site link
EDAHIRO,MasatoProfessoredaEmbedded Multi- / Many-Core Processors
Parallelism / Concurrency (Optimization
Algorithms
Software Development Tools
etc.)		http://profs.provost.nagoya-u.ac.jp/view/html/100005776_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=328_jhc_data_en.htmlhttps://www.pdsl.jp/
TAKADA, Hiroaki*¹Professor5887hirombedded computing system
Real-time computing
Operating system 		http://profs.provost.nagoya-u.ac.jp/view/html/100000274_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=65_jhc_data_en.htmlhttp://www.ertl.jp/~hiro/hiro-j.html
ISHIHARA,TohruProfessorishiharaEmbedded System
Low Power System Design
Energy Efficient Computing		https://profs.provost.nagoya-u.ac.jp/html/100010243_en.html
OHYAMA, HiroshiVisiting Professor
MATSUBARA, YutakaAssociate Professor3799yutakaEmbedded system
Real-time computing
System safety and security		http://profs.provost.nagoya-u.ac.jp/view/html/100006424_en.html?k=%E6%9D%BE%E5%8E%9Fhttp://www.is.nagoya-u.ac.jp/research/Pid=365_jhc_data_en.htmlhttps://sites.google.com/site/yutakaertl/
MASUDA, Yutaka
Associate Professor5339masudahttps://profs.provost.nagoya-u.ac.jp/html/100010616_en.html
WATANABE, Yousuke*¹Designated Associate Professorhttp://profs.provost.nagoya-u.ac.jp/view/html/100007867_en.html
KURACHI, Ryo *²Designated Associate Professor6393kurachi
::nces.is.nagoya-u.ac.jp		https://profs.provost.nagoya-u.ac.jp/html/100002743_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=226_jhc_data_en.html
YAMADA, SyunyaAssistant Professor3630s_yamadahttps://profs.provost.nagoya-u.ac.jp/html/100012312_en.html
LI YixiaoDesignated Assistant Professor5147liyixiao
::nces.i.nagoya-u.ac.jp		https://profs.provost.nagoya-u.ac.jp/html/100012276_en.html
*¹ Institutes of Innovation for Future Society
*² Center for Embedded Computing Systems

Software Science and Technology Unit

NameTitleTel Ext.E-mailResearch FieldFaculty Profile link"Information knowledge" linkPersonal site link
SEKI, HiroyukiProfessor5886sekiFormal Language Theory
Software Design and Verification		http://profs.provost.nagoya-u.ac.jp/view/html/100006996_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=351_jhc_data_en.htmlhttp://www.sqlab.jp/sekilab/seki/Japanese/index.html
YUEN, ShojiProfessoryuenConcurency
Communicating processes
Program verification		http://profs.provost.nagoya-u.ac.jp/view/html/100001809_en.htmlhttps://www.sqlab.jp/yuen_en
KAJI, YuichiProfessorkaji
MORISAKI, ShujiAssociate Professor5142morisakiSoftware Engineeringhttps://profs.provost.nagoya-u.ac.jp/html/100007179_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=362_jhc_data_en.htmlhttps://sites.google.com/view/morisakilaboratoryen/home
NAKAZAWA, KojiAssociate Professor4242knakTheory of Programming Languages
Type Theory
Mathematical Logic		http://profs.provost.nagoya-u.ac.jp/view/html/100008700_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=375_jhc_data_en.htmlhttps://knaknak.github.io/index-e.html
HAMAGUCHI, TakeshiAssistant Professor5148hamagutiFormal specification
Software development
Program verification		http://profs.provost.nagoya-u.ac.jp/view/html/100001878_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=73_jhc_data_en.htmlhttps://www.trs.css.i.nagoya-u.ac.jp/person/hamaguti/index-e.html

Information Network Systems Unit

(Joint Group with Information Technology Center)
NameTitleTel Ext.E-mailResearch FieldFaculty Profile link"Information knowledge" linkPersonal site link
MURASE, TutomuProfessortom
::itc.nagoya-u.ac.jp		Quality of Service control (QoS)
Congestion Control
Advanced Information Network
Mobile Network
Internet
Network Measurement
Traffic Control
Admission Control
Network Design
Overlay Network
Cyber Security		http://profs.provost.nagoya-u.ac.jp/view/html/100008455_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=372_jhc_data_en.htmlhttps://www.mcn.itc.nagoya-u.ac.jp/english/
KATAGIRI, TakahiroProfessor4382katagiri
::cc.nagoya-u.ac.jp		High Performance Computing
Software Auto-tuning
Massively Parallel Algorithms		http://profs.provost.nagoya-u.ac.jp/view/html/100009072_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=380_jhc_data_en.htmlhttp://www.abc-lib.org/MyHTML/index-j.html
SHIMADA, HajimeAssociate Professor4390shimada
::itc.nagoya-u.ac.jp		Green Computing
Information Network
Computer Architecture
Parallel Computing
Large-Scale Structural Analysis		http://profs.provost.nagoya-u.ac.jp/view/html/100006909_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=367_jhc_data_en.htmlhttps://www.net.itc.nagoya-u.ac.jp/~shimada/index.html
HOSHINO, TetsuyaAssociate Professorhoshino
::cc.nagoya-u.ac.jp		https://profs.provost.nagoya-u.ac.jp/html/100012623_en.html
NAGAI, ToruAssistant Professor4394nagaiSolid earth geophysics
Parallel and distributed computing		http://profs.provost.nagoya-u.ac.jp/view/html/100002304_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=71_jhc_data_en.html

PAGE TOP