Department of Intelligence Science and Engineering

Informatics Division

Overview

Based on an improved understanding of mathematics and physics, this department conducts broad interdisciplinary education and research of advanced next-generation information processing technology; intelligence information processing technology that simulates human thought processes; advanced human-machine interfaces that support humans; data science such as big data analysis; and computer-assisted medical care. With basic information processing technology at its core, we educate and conduct research to develop engineers and researchers in fields of information sciences who are capable of integrating social environments, human environments, and information technology to drive innovation.

Laboratory introduction

For faculty member details, please see the staff introductions.

Laboratory	Kamabe and Lu Laboratory
Faculty members	Professor KAMABE Hiroshi Assistant professor LU Shan
Research details	Based on information theory and coding theory, our laboratory studies communication systems for high reliability and high transmission rates of digital recordings and other digital data. In particular, we are proposing a coding and communication system utilizing computer simulations, machine learning, and the mathematics of probability theory, linear algebra and combinatorics, among other disciplines. Currently, we are focusing on code configurations for distributed storage and for multi-user communication channels, and proposals of communication systems for IoT networks.

Laboratory	Applied numerical analysis
Faculty members	Professor YAMAGUCHI Tadashi
Research details	For the purpose of analyzing electromagnetic fields and the optimal design of electromagnetic devices, our laboratory studies numerical analysis technology by using the finite element method (FEM). We have developed programs for two- and three-dimensional analyses of magnetic fields, and also an original pre-post processor that we are utilizing in our studies.

Laboratory	Program verification, automatic theorem proving
Faculty members	Professor KUSAKARI Keiichirou Assistant professor IMAI Keigo
Research details	Due to advancements of information technology, the role of program verification is becoming increasingly important. Our laboratory conducts research of rewriting systems, type theory, formal languages, decidability logic, and other methods providing the theoretical bases of program verification.

Laboratory	Computer simulation of electromagnetic wave phenomena
Faculty members	Professor TANAKA Masahiro
Research details	Our laboratory conducts research using computer simulations of electromagnetic wave phenomena and develops numerical methods and programs. Currently, we are using integral equations to analyze waveguide issues based on the method of moments (MoM).

Laboratory	Discrete mathematics and its applications
Faculty members	Professor MISHIMA Miwako
Research details	Our laboratory conducts fundamental research based on algebraic combinatorics and number theory, and applied research to propose communication codes with desirable properties by mathematically modeling discrete structures that exist in various fields of information science, such as encoded information communications and cryptography, DNA analysis, and fMRI experimental designs. In addition, we are studying protocols that enable services in the real world to be provided via the Internet, by combining various modern cryptographic technologies.

Laboratory	Signal processing, image processing
Faculty members	Professor YOKOTA Yasunari
Research details	A variable that changes over time is referred to as a signal. Signals include sounds, vibrations, temperature changes, currency fluctuations, biosignals such as electrocardiograms, and so on. A still image (a "snapshot"), and moving images that have time variables, can be easily recorded by smartphones, and have become more familiar to us with the advent of image processing applications and streaming services. Our laboratory studies methods of processing these signals and images, and related applications.

Laboratory	Research of applications of graph theory and network theory
Faculty members	Associate professor KANEKO Yoshihiro
Research details	Graph theory and network theory are considered to be typical mathematical models of operations research. Those theories have an incomparably wide range of applications, from a microstructure such as molecules to a macrostructure such as the social infrastructure. Aiming at further improvements, our laboratory engages in continuing discussions of cutting-edge academic articles from the standpoints of graph theory and network theory. Recently, we have been focusing on the development of efficient routing algorithms with mobile sink support for wireless networks, and time/space efficient data structures such as Bloom filters.

Laboratory	Statistical machine learning and applied data analysis
Faculty members	Associate professor SHIGA Motoki
Research details	Our laboratory conducts research of statistical machine learning to discover rules from observational data, and constructs prediction models for unknown data. As for applications, we are engaged in measured data analyses and material designs in the field of material sciences.

Laboratory	Autonomous intelligence systems
Faculty members	Associate professor TERADA Kazunori
Research details	With the goal of realizing an intelligence system that is able to operate in actuality within society, our laboratory conducts research into social cognition, theory of mind, computational cognition models of those with autism spectrum disorder, computational models of emotional functions, and their applications to robots and agents.

Laboratory	Computer networking
Faculty members	Associate professor HARAYAMA Michiko
Research details	Aiming to construct a high-performance, sophisticated, robust, and safe computer network system as an information infrastructure, our laboratory conducts research of multipath control methods for IP communications, ad hoc networks, analysis and modeling of AS-level topologies, and cybersecurity.

Laboratory	Natural language processing
Faculty members	Associate professor MATSUMOTO Tadahiro
Research details	Our laboratory conducts research in the field of natural language processing referred to as computational linguistics, primarily analyses of machine translations of Japanese sentences and document classifications. Although dactylologies (sign languages) are types of natural languages, they do not share standard character representations. Therefore, it is difficult to apply techniques of language processing to sign languages, per se. Our laboratory has attempted to invent character representations using sign language that are suitable for language processing, and perform machine translations into this sign language using these same hand signs. In addition, we are developing software such as a document editing system for sign language that utilizes the International SignWriting Alphabet (ISWA) system without relying on a spoken language.

Laboratory	Network security, cryptography and coding theory
Faculty members	Associate professor MOHRI Masami
Research details	With the aim of realizing a safe and secure e-society, our laboratory engages in the development of fundamental and applied technologies in the fields of computer networking security and encoding cryptography.

Laboratory	Data engineering, social media
Faculty members	Specially-appointed associate professor SUZUKI Yu
Research details	With the intention of collecting and transmitting information beneficial to society, our laboratory analyzes social media and open data. As methods of data analysis, we integrate and utilize cutting-edge technologies, such as crowdsourcing and machine learning.

Laboratory	Perceptual psychology, signal analysis
Faculty members	Assistant professor FUKAI Hidekazu
Research details	Our laboratory primarily conducts research with regard to subjects of mathematics, color perception, sound perception, and biological perception regarding living organisms. In addition, we are working on multivariable time-series analysis, image analysis, machine learning, and related applications.

Laboratory	Medical image information processing
Faculty members	Professor HARA Takeshi Associate professor ZHOU Xiangrong
Research details	Our laboratory performs research mainly on the development of computer-aided diagnosis systems for X-ray diagnostic images. In fact, we have produced numerous achievements through collaborative research with physicians and corporate researchers.