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/

Information System Platform Unit

NameTitleTel Ext.E-mailResearch FieldFaculty Profile link"Information knowledge" linkPersonal site link
EDAHIRO,MasatoProfessor3312edaEmbedded 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,TohruProfessor4363ishiharaEmbedded System
Low Power System Design
Energy Efficient Computing		https://profs.provost.nagoya-u.ac.jp/html/100010243_en.htmlhttps://tamatebako.i.nagoya-u.ac.jp/2822/https://www.eec.css.i.nagoya-u.ac.jp/
HONDA,ShinyaProfessor5888hondaEmbedded System
Virtualization
Hardware Software Co-design		https://profs.provost.nagoya-u.ac.jp/html/100002734_en.html
KURACHI, Ryo *²Designated Professor6393kurachi
::nces.is.nagoya-u.ac.jp		Embedded Systems
Real-time Systems
Information Security		https://profs.provost.nagoya-u.ac.jp/html/100002743_en.htmlhttp://www.is.nagoya-u.ac.jp/research/Pid=226_jhc_data_en.htmlhttps://sites.google.com/view/ryokurachi/
OHYAMA, Hiroshi *4Visiting 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 Professor5339masudalow-power circuit design methodology
energy-efficient computing
verification and testing of integrated system		https://profs.provost.nagoya-u.ac.jp/html/100010616_en.htmlhttps://tamatebako.i.nagoya-u.ac.jp/2836/http://www.eec.css.i.nagoya-u.ac.jp/209-2/
WATANABE, Yousuke*¹Designated Associate Professor6921watanabe.yousuke.s1
::f.mail.nagoya-u.ac.jp		Data Engineering
Database Systems		http://profs.provost.nagoya-u.ac.jp/view/html/100007867_en.html
OHTANI,Sugako*3Visiting Associate ProfessorComputer Architecture Design
YAMADA, SyunyaAssistant Professor3630s_yamadaSpatial sensing
Data fusion		https://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
*3 Renesas Electronics
*4 Okuma Corp.

Software Science and Technology Unit

NameTitleTel Ext.E-mailResearch FieldFaculty Profile link"Information knowledge" linkPersonal site link
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
INOUE, YusukeAssistant Professor3621inoue.yusuke.m9::f.mail.nagoya-u.ac.jpFormal Language Theoryhttps://profs.provost.nagoya-u.ac.jp/html/100014237_en.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
MUKUNOKI, DaichiAssistant Professor4394mukunoki.daichi.p2::f.mail.nagoya-u.ac.jpHigh Performance Computing
Numerical Computation
GPU Computing
https://profs.provost.nagoya-u.ac.jp/html/100013888_en.htmlhttps://mukunoki.github.io/index_en.html

PAGE TOP