Department of Computing and Software Systems

※Telephone numbers from outside the university have the number 052-789 before the extension number.

※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
KANAMORI, TakafumiProfessor4598kanamoriMachine learning
Statistics
Optimization
http://profs.provost.nagoya-u.ac.jp/view/html/100000386_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=24_jhc_data_en.htmlhttp://www.math.cm.is.nagoya-u.ac.jp/~kanamori/
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.htmlhttp://www.sakabe.i.is.nagoya-u.ac.jp/~nishida/indexj.html
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
YAMAMOTO, Masaki*²Designated Professor5284myamamoto
::nces.is.nagoya-u.ac.jp
Embedded software
Educational evaluation
http://www.is.nagoya-u.ac.jp/research/Pid=262_jhc_data_en.html
SAKAMOTO, TadashiDesignated Professor Embedded system
Development of a SPF for automobiles
http://profs.provost.nagoya-u.ac.jp/view/html/100008586_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=377_jhc_data.html
OHYAMA, HiroshiVisiting Professor
HONDA, ShinyaAssociate Professor2795hondaEmbedded systems
Operating systems
Multiprocessor
http://profs.provost.nagoya-u.ac.jp/view/html/100002734_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=363_jhc_data_en.htmlhttp://www.ertl.jp/~honda//
YOSHIDA, Norihiro*²Associate Professor6392n-yoshidaProgram Analysis
Programming Support Environment
Refactoring
http://profs.provost.nagoya-u.ac.jp/view/html/100007838_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=366_jhc_data_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
http://www.is.nagoya-u.ac.jp/research/Pid=226_jhc_data_en.html
SAITO, Satoshi Assistant ProfessorssaitoNonlinear Dynamics
Hamiltonian Chaos
Integrable System
http://profs.provost.nagoya-u.ac.jp/view/html/100001835_en.html
MATSUBARA, Yutaka*²Assistant Professor3799yutakaEmbedded system
Real-time computing
System safety and security
http://profs.provost.nagoya-u.ac.jp/view/html/100000378_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=365_jhc_data_en.htmlhttps://sites.google.com/site/yutakaertl/
*¹ 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
YAMAMOTO, Shuichiro Professor6532yamamotosui
::icts.nagoya-u.ac.jp
Software Engineering
Requirements Engineering
Enterprise Architecture
Knowledge Sharing Communication
http://profs.provost.nagoya-u.ac.jp/view/html/100002309_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=307_jhc_data_en.html
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.htmlhttp://www.sqlab.i.is.nagoya-u.ac.jp/~yuen/index.html
SATO, ShuichiVisiting Professor
MORISAKI, ShujiAssociate Professor5142morisakiSoftware Engineeringhttp://www.is.nagoya-u.ac.jp/research/Pid=362_jhc_data_en.html
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.htmlhttp://www.sqlab.i.is.nagoya-u.ac.jp/~nakazawa/
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.htmlhttp://www.sqlab.i.is.nagoya-u.ac.jp/~hamaguti/index.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.net.itc.nagoya-u.ac.jp/lab/
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
OGINO, MasaoAssociate Professor5899masao.oginoComputational Mechanics
Parallel Computing
Large-Scale Structural Analysis
http://profs.provost.nagoya-u.ac.jp/view/html/100005980_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=336_jhc_data_en.htmlhttp://www.hpc.itc.nagoya-u.ac.jp/ogino/index-e.html
YAMAGUCHI, YukikoAssistant Professor4364yamaguchiNetwork management
Cyber security
http://profs.provost.nagoya-u.ac.jp/view/html/100002305_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=76_jhc_data_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