Home > Purpose of Each Department > Departments: Department of Information Science

Departments: Department of Information Science

Department of Systems ScienceDepartment of Information ScienceDepartment of Computational Science

Department of Information Science Overview
In the Department of Information Science, the student pursues the exploration and expansion of new academic fields of information science and technology that will contribute to an advanced information society. The Department of Information Science thus provides the student with an education and research experience not only specifically in computer programming, but also in the search for new methodologies related to the construction of basic mathematical information theories and information processing as well as advanced information application technology, with a focus on computers, networks, information systems that organically combine computers and networks, content media, and intelligence, resulting in a balanced education and research experience.

Research Groups

Foundation of Information Sciences

The Foundation of Information Sciences program provides the student with an education and research experience in mathematical information infrastructure theories, and element technologies for information processing.

Mathematical Logic and Statistics

Research and education in the research group of Mathematical Logic and Statistics center on basic mathematical theories related to information and computation, deduction, and mathematical modeling, with focus on mathematical logic and mathematical statistics.
In particular, this group provides the student with an education in the theory of mathematical structures like, e.g., algebraic structures which are widely used in information science and other areas, the theory of computability and algorithms, mathematical logic, an area which studies syntax and semantics of formal languages designed to formalize concepts like "mathematical statement", "deduction", and "proof", set theory, an area which provides the fundamental notions necessary for describing mathematical objects and structures, applications of mathematical logic and/or set theory to information science and other areas, as well as mathematical statistics which provides a framework for guessing of the correct models for phenomena hidden behind given data.

Processor Architecture

The Processor Architecture research group provides the student with an education and research experience in hardware architecture technology, which is an elementary technology for VLSI information processing, in particular the high-performance technology of information processing systems implemented on VLSI. Specifically, This group provides the student with an education and research experience in hardware infrastructure theories via actual design, addressing topics such as parallel processing architecture technology, high-performance circuit technology, embedded system technology, and low power consumption technology. This group fosters human resources capable of designing hardware that works together with software and realizing an advanced information processing system based on such education and research experience.

Software Science

The Software Science research group promotes discourse with an emphasis placed on softwares based on mathematical logic and declarative programming, aiming to teach the student scientific approaches to the design and implementation of dependable software systems. Specifically, the group conducts an education of softwares and programming languages by providing the lectures of their background theories and computer practices of related software tools, addressing topics such as propositional logic and software; predicate logic and software; intuitionistic logic and software; non-standard logic and software; logic programming; constraint programming; and functional programming.

Intelligent Informatics

The Intelligent Informatics provides the student with an education and research experience in methodologies and algorithms for information expression, acquisition, and processing, and applications thereof.

Integrated Information Systems

The Integrated Information Systems research group provides the student with an education and research experience in the design of information systems for ubiquitous applications. Specifically, the group targets the design principles of highly integrated wireless communication devices, embedded information processing systems, and VLSI systems with very high resistance to environmental disturbances. This group fosters human resources capable of developing advanced information systems through wide integration of heterogeneous technical areas, such as modeling, simulation, and design automation techniques of mixed signal VLSIs; software defined technologies for wireless communication, 3D integration of information processing elements, and the like.

Knowledge and Information Processing

With the rapid development and expansion of information technologies and the increasing integration of various fields, a variety of data is created every day. In the Knowledge and Information Processing Laboratory, the student is provided with research experience in searching, finding, and generating meaningful and valuable information from such vast amounts of data having complex structures; basic theories, algorithms, and methodologies related to "knowledge and information processing" as well as their applications to various problems in the real world. The student is also provided with the education required to make advances in these methods. As a result, the laboratory fosters engineers and researchers who have acquired advanced research and development skills in this field which is in need of further development.

Media Informatics

In an advanced information society such as a ubiquitous society, use of information devices is naturally required in daily life, and smooth communication of such information devices with others is important. With such communication, media information such as audio, images, and video is found to be the most natural means for relaying information. From this perspective, the Media Information research group provides the student with an education in the algorithms of information devices capable of recognizing and understanding multiple media information, including audio, images, and video. Furthermore, the group provides the student with an education in the algorithms of information devices capable of understanding a person’s situation and intention so as to achieve smooth communication through the verbal and non-verbal human-computer interaction underlying media information recognition and understanding.

Emergent Computing

Emergence refers to the occurrence of unprecedented complex system behavior and global order due to the local interaction of system elements. In the Emergent Computing research group, the student is provided with an education and research experience in the construction of basic theories and computation models based on information-based formalization of repeated bottom-up and top-down processes that characterize the emerging event. Furthermore, the student is also provided with methodologies, theories, and applications for reproducing emerged events observed in a variety of systems, such as social, transportation, production, medical, communication, network, and biological systems. As a result, the group fosters engineers and researches having advanced research and development skills in this field.

Kansei and Media Art (Collaborative Program : Advanced Telecommunications Research Institute International)

Kansei and Media Art

Research and development on Kansei and media art systems focuses on display and actuation technologies which allow to increase quality of communication.
Our lecture on the systems mainly covers advanced technologies on human robot interaction, voice interaction, and haptic interaction, i.e. networked robotics, information representation technologies for understanding situations, and accurately relaying information through multiple input/output display.

Back to top
KOBE UNIVERSITY Home | Access | Site map | Link | Japanese

Graduate School of System Informatics, Kobe University, 1-1 Rokkodai-cho, Nada-ku, Kobe 657-8501
Copyright (C)Graduate School of System Informatics, Kobe University. All Rights Reserved.