Department of Computing and Software Systems

Summary

The Department of Computing and Software Systems conducts education and research on information systems with the aim of creating information science and technologies that improve convenience, safety, and comfort in our society. In designing and developing efficient and dependable information systems, we investigate fundamental theories and technologies for system platforms and software, in the establishment to advance the study of information systems. Based on research for highly reliable algorithms and sophisticated computational models, we explore the continuous evolution of ever more efficient and dependable information systems. We foster the best information engineers who play the leading roles in creating information systems, as well as researchers who contribute to the advance of information science through research and study of information systems and of the next generation boundless in time and space information networks.

Curriculum

Basic Topic in Theory of Computation A・B
System Programs A・B
Computer Architecture A・B
Foundations of Software A・B
Software Engineering A・B
High-Performance Computing A・B
Information Network A・B
Information Security 1・2
Programming Language Theory 1・2
Practical development of information systems 1・2
Theory and Application for Concurrency 1・2
Formal Languages and Automata Theory
Computation Model
Machine Learning
Learning Algorithms

Units, Members

Theory of Computation Unit

In this unit, we conduct education and research on fields that support information systems from a theoretical point of view, such as algorithms, formal logic, computation models, semantics of computation, and machine learning.
Faculty Members
Professor 　　SAKAI, Masahiko
　　　　　　　BANBARA, Mutsunori
Assoc. Prof.　NISHIDA, Naoki
Assis. Prof.　HASHIMOTO, Kenji

Information System Platform Unit

In this unit, we conduct education and research on highly reliable and high-performance information system platform that consists of basic architectures such as processors with basic software such as operating systems.
Faculty Members
Professor　　　　　　　　　EDAHIRO, Masato
　　　　　　　　　　　　　　TAKADA, Hiroaki*1
　　　　　　　　　　　　　　ISHIHARA,Tohru
Designated Prof. 　　　　　YAMAMOTO, Masaki*2
Visiting Prof.　　　　　　　OHYAMA, Hiroshi*3
Assoc. Prof. 　　　　　　　MATSUBARA, Yutaka
　　　　　　　　　　　　　　YOSHIDA, Norihiro*2
Designated Assoc. Prof.　WATANABE, Yousuke*1
　　　　　　　　　　　　　　KURACHI, Ryo*2
Visiting Assoc. Prof.　　　　OTANI, Sugako*4
Assis. Prof. 　　　　　　　　SAITO, Satoshi
　　　　　　　　　　　　　　　　　　　　　　　　MASUDA, Yutaka
*1 Institutes of Innovation for Future Society, Nagoya University
*2 Center for Embedded Computing Systems, Nagoya University
*3 OKUMA Corporation
*4 Renesas Electronics Corporation

Software Science and Technology Unit

In this unit, we conduct education and research on theoretical and practical aspects of software science and technologies. We work on the theories and methods for efficient development, verification, and testing of software in order to achieve high reliability as well as high performance.
Faculty Members
Professor　　　SEKI, Hiroyuki
　　　　　　　　YUEN,Shoji
　　　　　　　　KAJI, Yuichi*2
Visiting Prof.　TADOKORO, Yukihiro*1
Assoc. Prof.　　MORISAKI, Shuji
　　　　　　　　NAKAZAWA, Koji
Assis. Prof.　　HAMAGUCHI, Takeshi
*1 Toyota Central R&D Labs Co.,Ltd.
*2 Information Strategy Office, Nagoya University

Information Network Systems Unit　Joint Group with Information Technology Center

In this unit, we conduct education and research on information network construction methods, information security, intelligent information retrieval, high-performance computing and data analytics, and massively parallel algorithms.
Faculty Members
Professor　　MURASE, Tutomu
　　　　　　　KATAGIRI, Takahiro
Assoc. Prof.　SHIMADA, Hajime
Assis. Prof.　YAMAGUCHI, Yukiko
　　　　　　　NAGAI, Toru