Advisor search

Filter by Keywords · Research Field

* If you want to narrow down by multiple keywords, please separate them with a comma.

Filtered Unfiltered

Foundations of Informatics

HAYAMI Ken (Professor)

hayami (at)

Research Keywords : Iterative solvers, Numerical linear algebra, Numerical computation, Least squares problems, Systems of linear equations

Guidance Research
Teaching and research supervision on the theory and application of numerical computation. Emphasis is on the mathematical analysis of numerical algorithms and the development of new algorithms. The main area of interest is numerical linear algebra (iterative solution of linear systems, least squares problems, inverse problems, ill-posed problems, etc.).

IWATA Yoichi (Assistant Professor)

yiwata (at)

Research Keywords : Parameterized Complexity, Heuristics, Discrete Algorithms

Guidance Research WEB
Education and research supervision on exact algorithms for NP-hard problems from both theoretical and practical viewpoint. In particular, by using tools from theoretical fields including graph theory and parameterized complexity, we aim to develop efficient algorithms exploiting nice structures appeared in real-world instances and to provide theoretical analysis to practically efficient methods.

KANAZAWA Makoto (Associate Professor)

kanazawa (at)

Research Keywords : Formal Language Theory, Mathematical Linguistics, Grammatical Inference, Natural Language Semantics, Proof Theory, Nonclassical Logic

Guidance Research
My field of specialization is the mathematics of language (mathematical linguistics), including related topics in theoretical linguistics (especially semantics) and mathematical logic. A student who wishes to work with me can choose an area of his or her interest within this range. The topic I am currently focusing on is Abstract Categorial Grammar, a grammar formalism based on the typed lambda calculus which unifies and generalizes diverse types of grammar that have been proposed for the description of natural language.

KAWARABAYASHI Ken-ichi (Professor)

k_keniti (at)

Research Keywords : Algorithms, Graph Theory, Heoretical Computer Science, Discrete Math

Guidance Research
Education and research supervision on Discrete Math with special emphasis on Structural Graph Theory and Graph Minor Theory.
We also consider their algorithmic applications. Most likely, the following topics will be covered.
1. Perfect graphs and its applications.
2. The Four Color Theorem and its generalization.
3. Structural Graph Theory.
4. Disjoint paths problem and Network
5. Matching theory and its applications
6. Graph Minor Theory and its applications.

KISHIDA Masako (Associate Professor)

kishida (at)

Research Keywords : Networked systems, Uncertain systems, Control theory, Optimization

Guidance Research
Students are welcome who are interested in the broad area of control theory and its related areas in applied mathematics such as optimization and linear algebra. My research aims at developing theories and algorithms for systems that are not well-addressed by existing methods. The focus is placed on the systems theory that takes uncertainties into account for the applications to complex systems and networked systems.

KOBAYASHI Ryota (Assistant Professor)

r-koba (at)

Research Keywords : Web mining, Time series analysis, Computational neuroscience

Guidance Research WEB
We are developing a method to identify (hidden) rules from the data and analyzing experimental data to understand information processing in the brain. Specifically, we are developing a statistical method to estimate the input signals and ion channel state from a membrane voltage trace and studying computational mechanism in single neurons.

MATSUMOTO Keiji (Associate Professor)

keiji (at)

Research Keywords : Entanglement, Information theory, Statistics, Quantum information, Quantum computation

Guidance Research
It is well-known that quantum mechanical view of the world is quite conter-intuitive.
Indeed, it contradicts with many basic concepts which information sciences are based on. Therefore, it is necessary to built new information sciences to be consistent with quantum mechanics, which is fundamental law of the nature. Recently, it has been found out that quantum information processing has wide range of application to technologically important problems, such as integer factoring, secure communication and so on. In this lecture, starting from basic concepts, we review the recent developments of the field. The audiences of the lecuture are expected to be familiar with elementary linear algebra, probability, and information theory, but no background in quantum mechanics.

NEMOTO Kae (Professor)

nemoto (at)

Research Keywords : Theoretical physics, Quantum optics, Quantum information and computation

Guidance Research WEB
Kae Nemoto is interested in supervising students in topics related to quantum computation, quantum communication and quantum metrology.
Her main research interests and efforts are currently focused around
– Development of scalable quantum information devices.
– Architecture and system design for quantum computer and quantum communication.
– Application of quantum information devices and quantum information systems.
– Modeling of quantum and complex systems.
A number of projects are available for these topics.

TATSUTA Makoto (Professor)

tatsuta (at)

Research Keywords : Programming logic, Lambda calculus, Type theory, Constructive logic

Guidance Research
Foundational theory of computer science related to mathematical logic, and mathematical logic for computer science are studied.
1. Type theory (higher order type theory, type inference, Curry-Howard isomorphism, inductive types)
2. Constructive logic (constructive set theory, inductive definitions, realizability interpretations, linear logic)
3. Theory of programs (program verification, program synthesis, program transformation, lambda-calculus)

UNO Takeaki (Professor)

uno (at)

Research Keywords : Algorithms, Data engineering, Data mining, Optimization, Computation

Guidance Research
The main topic of the seminar is theoretical fundamentals of discrete algorithms. The sub topics are time and space complexities, extension to general problems of discrete algorithms, especially, fundamental algorithms appearing in optimization algorithms. Studies on efficient applications for practical systems are also researched. The goal is to have knowledge and techniques of general algorithms, not for minor area, and to be able to pertinently research whatever algorithmic problems.

YOKOI Yu (Assistant Professor)

yokoi (at)

Research Keywords : Algorithms, Mechanism design, Discrete convex analysis

Guidance Research
Education and research supervision on discrete mathematics, algorithms, and their applications to mechanism design. In particular, we investigate problems in game-theoretic settings, such as the stable matching model. We design algorithms and analyze discrete structures using techniques of combinatorial optimization.

YOSHIDA Yuichi (Associate Professor)

yyoshida (at)

Research Keywords : Algorithms, Theoretical Computer Science (Combinatorial) Optimizations

Guidance Research
Education and research supervision on theoretically and/or practically efficient algorithms. In particular, our research focus includes (but not limited to) theory and applications of “sublinear algorithms” such as property testing, streaming algorithms, compressed sensing, and theoretical analysis and the development of efficient algorithms, with the theory lens, of optimization problems that arise in practical areas such as machine learning.

Information Infrastructure Science

ABE Shunji (Associate Professor)

abe (at)

Research Keywords : QoS Control, Network Performance Analysis, Information Networks

Guidance Research
Aims are as follows:
1. understanding network systems (switching system, application server system, etc.) and their functions to realize advanced network services;
2. developing ability to create a new functionally advanced network system.
From experimental research and development based on traffic analysis for network design and QoS control methods in a high-speed Internet, a study subject is chosen. Methods to resolve the subject and a dissertation are directed.

AIDA Kento (Professor)

aida (at)

Research Keywords : Cloud Computing, Grid Computing, Parallel and Distributed Computing

Guidance Research
The Aida Laboratory is a research group devoted to the study of parallel and distributed computing systems. Our goal is to develop fundamental/practical technologies to effectively utilize IT resources in parallel and distributed computing platforms, including clusters, grids and a clouds.

FUKUDA Kensuke (Associate Professor)

kensuke (at)

Research Keywords : Internet protocol, Traffic measurement, Network science

Guidance Research
The research area includes an efficient Internet architecture based on the statistical aspect of temporal and spatial dynamics appeared in the Internet.
1. The research area includes an efficient Internet architecture based on the statistical aspect of temporal and spatial dynamics appeared in the Internet.
2. Statistical properties of Internet topology and efficiency of information flows on the network
3. A novel Internet architecture based on statistical properties of the Internet.

GOSHIMA Masahiro (Professor)

goshima (at)

Research Keywords : Computer Architecture, Digital Circuitn, Microarchitecture

Guidance Research
Continuous speeding-up of computers provides the basis for developmentof the information society. In order to extend this speeding-up of computers to the future, we have to solve various problems. The research theme of this laboratory is computer architecture. The research area includes architecture of computing systems with a focus on processor architecture, and digital circuit as the basis of computer architecture

JI Yusheng (Professor)

kei (at)

Research Keywords : Quality of service, Traffic control, Network Architecture, Performance evaluation, Resource management, Communication protocol

Guidance Research
Education and research supervision on theory, principle and methodology of communication systems. Research topics can be the problems of design, modeling, and evaluation of the control disciplines, protocols, and management schemes related to a diversity of network and switching architectures, transmission media, and service requirements. Through specific doctoral research projects, such as network traffic analysis and control, resource management in high-speed optical networks, quality of service provisioning in the next generation wireless communication, etc., students are expected to obtain the insight understanding of communication systems and the ability of problem solving.

KANEKO Megumi (Associate Professor)

megkaneko (at)

Research Keywords : Internet of Things (IoT), Machine-to-Machine (M2M), Cloud Radio Access Networks (CRAN), Radio resource allocation, Wireless communications, Cellular systems

Guidance Research WEB
With the rapidly increasing number of mobile users and data traffic, current mobile communication systems will soon be unable to support the exponentially growing amount of wireless data. One of the main challenges of next generation wireless communication systems will be to satisfy increasingly diverse and stringent Quality of Service (QoS) requirements. We address (but not limited to) the following research issues: radio resource allocation and interference coordination for Cloud Radio Access Networks (CRAN), protocol design for jointly guaranteeing high system throughput and user fairness, spectral/energy-efficient wireless access for M2M/IoT systems.

KOIBUCHI Michihiro (Associate Professor)

koibuchi (at)

Research Keywords : System Area Networks, Network-on-Chip, High-Performance Computing, Parallel computers, Interconnection networks

Guidance Research
The research areas include parallel and distributed computer systems, such as system-on-a-chip (SoC), on-chip multiprocessors, PC clusters, or super computers. Since these systems are characterized by interconnection networks that connect computation logic and memory, I have recently focused on their network architecture including topology, routing, switching technique, and router architecture.

KURIMOTO Takashi (Associate Professor)

tkurimoto (at)

Research Keywords : Network node architecture, Network protocol

Guidance Research
To realize an advanced and sophisticated information network, it is required to develop the various kinds of evolved network technology and network architecture. My research activity is focused on the network protocol, network node architecture and network node implementation technology ensuring the next generation network. Also, I work on research for the virtual network technique to create a new network service flexibly.

TAKAKURA Hiroki (Professor)

takakura (at)

Research Keywords : Cyber Security, Secure Networking, Data mining, High Performance Network

Guidance Research WEB
Our research focuses on various types of countermeasures to deal with cyber attacks that cause serious international and social issues. Especially,
– Attack prevention
– Early detection and containment
– Network management
are studied to protect our important information and systems, to minimize the damage of a cyber attack and to support business continuity and swift recovery. Also we develop methods to realize secure environment for critical infrastructure and IoT (Internet of Things).

TAKEFUSA Atsuko (Associate Professor)

takefusa (at)

Research Keywords : Inter-cloud, Cloud Computing, Parallel and Distributed Computing, Resource management technologies

Guidance Research
Our research group studies technologies for next-generation parallel and distributed computing infrastructure over a Cloud or multiple Clouds interconnecting via high bandwidth and high quality networks. The research area includes resource management technologies for computers, networks and storage in a Cloud, and federation technologies of multiple Cloud resources including the networks between Clouds.

URUSHIDANI Shigeo (Professor)

urushi (at)

Research Keywords : Network Architecture, Network Service Systems

Guidance Research
The education and research supervision on advanced networking technologies and network systems technologies for a variety of telecommunication network services. The research area includes the network architecture, advanced networking protocols, high-end system architecture, large-scale switching fabric architecture, and quality-of-service control architecture for high-speed, high-quality, highly-reliable and multi-functional telecommunication networks.

YONEDA Tomohiro (Professor)

yoneda (at)

Research Keywords : CAD tool development, Real-time systems, Formal verification, Asynchronous systems, Dependable systems

Guidance Research
Theory and approach for designing reliable and dependable hardware and/or software are studied. Topics of interests include formal verification of real-time hardware/software, high-level synthesis of timed asynchronous circuits, and formal analysis of hybrid systems. The aim of our research is not theoretical consideration, but to implement CAD tools based on the algorithms developed.

Software Science

HASHIZUME Hiromichi (Professor)

has (at)

Research Keywords : Digital Signal Processing, Human Interface, Man-Machine Interface

Guidance Research
In the graduate school research I will introduce historical human-interface devices and the historic background of computation systems to extract the main concept of man-machine interface which should be invariant of time. Then I will instruct the designs of future interface devices, the technology which gives the shapes to the devices especially algorithms of digital signal processing.

HASUO Ichiro (Associate Professor)

hasuo (at)

Research Keywords : Automaton, Category theory, Formal methods, Optimization, Machine learning, Cyber-physical system, Logic

Guidance Research
Formal methods refer to a body of mathematical techniques that aim at supporting quality assurance in software development. With their theoretical core lying in logic and automata theory, formal methods have been attracting a lot of research efforts, with some significant successes in software industry. My specific research style in this field comprises: pursuing essences of formal methods techniques via mathematical abstraction; using the abstract theory thus obtained to achieve general techniques that apply to a variety of systems; and actually applying those techniques to cyber-physical systems, a field of industrial significance. My research supervision will be on this abstract and mathematical approach to formal methods. Specific topics include: generalization of automata theory in the language of category theory (coalgebras, more specifically); verification algorithms for probabilistic and other quantitative systems; verification and analysis of continuous dynamics using real algebraic geometry; and collaboration of formal methods and optimization/learning algorithms.

HU Zhenjiang (Professor)

hu (at)

Research Keywords : Software Engineering, Programming Languages, Parallel Computation, Functional Programming

Guidance Research
Education and research supervision on discipline of programming, programming languages, and software engineering. Current research topics include:
1. Programming Languages: functional programming, program transformation, program optimization;
2. Parallel Computation: high-level parallel programming model, MapReduce, automatic parallelization;
3. Software Engineering: dependable software construction, model-driven software development;
4. Bidirectional Transformation: bidirectional transformation languages, bidirectional model transformation, data synchronization based on bidirectional transformation.

KATO Hiroyuki (Assistant Professor)

kato (at)

Research Keywords : XML, XQuery, Database, Functional programming

Guidance Research
For XML which has emerged as a standard format for data exchange on the Web, the following topics are studied.
1. From a functional programming point of view, program composition or program transformation on XQuery which is a functional query language standardized by the W3C.
2. From a data engineering point of view, XML application techniques such as Topic Map or RDF are studied.

KITAMOTO Asanobu (Associate Professor)

kitamoto (at)

Research Keywords : Digital Archive, Database, Pattern Recognition, Earth Environment Information, Image Information Processing

Guidance Research WEB
The main topics of the laboratory are advanced processing and analysis of image information, the recognition and semantic analysis of imagery and other media, the mining of meaningful information from large-scale real-world databases, the construction of the cyber infrastructure for earth environment information such as satellite imagery, and a proposal on the new framework for the study of culture using information technology. The focus of the research is both in the proposal of a good theory and in the application of a theory to the society.

NAKAJIMA Shin (Professor)

nkjm (at)

Research Keywords : Modeling, Formal Specification and Verification, Formal methods

Guidance Research
Software Engineering placing focus on achieving the required reliability levels of open systems that have strong coupling with their externals. Education and research supervision on modeling, formal methods, and automated verification techniques as well as their applications to embedded systems or Web services.

SAKAMOTO Kazunori (Assistant Professor)

exkazuu (at)

Research Keywords : Software testing, Computer programming education, Software development environments and methodologies

Guidance Research
To achieve high quality software development, we study 1)software testing, 2)development environments and methodologies, and 3)computer programming education.
Specifically, our research topics are
1. measuring quality of software tests, automated test code generation,
2. improving software reusability, programming languages to apply refactoring,repository mining,
3. supporting beginners to learn programming using gamification techniques.

SATOH Ichiro (Professor)

ichiro (at)

Research Keywords : OS, Cloud Computing, Middleware, Ubiquitous computing

Guidance Research
This course trains advanced issues on distributed/ubiquitous computing systems. Next-generation distributed/ubiquitous computing systems, e.g., cloud computing and ambient computing, need new software technologies, in OS, middleware, and programming languages. The course discusses such technologies with their theoretical foundations and implementations.

TAKASU Atsuhiro (Professor)

takasu (at)

Research Keywords : Text Pattern Analysis, Data Engineering, Data Analysis and Machine Learning

Guidance Research WEB
Our research group studies text mining algorithms for large scale database. First, we are interested in extracting latent structure from large amount of text data and developing statistical models like latent Dirichlet allocation (LDA). We apply the models to text stream analysis where we extract topical trends in text stream. We also apply the technique to data integration. Latent structure helps us to know the similarity and identity of the data that seems differently.
Second, we are studying efficient algorithm for tree matching. Tree structure is very useful and it is used for representing various data such as semi-structured text and computational biology. We are interested in developing an indexing method for matching trees in large tree databases. Recently, we begin the study of stream data mining from sensor streams and log data.

TEI Kenji (Associate Professor)

tei (at)

Research Keywords : Sensor Network, Software Architecture, Middleware

Guidance Research
Education and reserarch supervision on issues of physical world-oriented software systems. For example, we focus on middleware, modeling, and development process for sensor and actuator network, which has capabilities to monitor and affect physical world.

TSUSHIMA Kanae (Assistant Professor)

k_tsushima (at)

Research Keywords : Programming Languages, Type debugging, Type Inference

Guidance Research
Types are important in programming languages, because they ensure well-typed program never go wrong. This lecture will introduce type theory, some implementation of type inference, type debugging systems.

YOSHIOKA Nobukazu (Associate Professor)

nobukazu (at)

Research Keywords : Security Software Engineering, Security Patterns, Privacy Software Engineering

Guidance Research
Students will be instructed and supervised in flexible or secure distributedsystems architecture or development methods. In addition, formal verification of such systems will be investigated as well. Particularly, a next-generation distributed systems on pervasive networks will be targeted.

Multimedia Information Science

AIHARA Kenro (Associate Professor)

aihara (at)

Research Keywords : User-Centered Design, Human-Computer Interaction

Guidance Research
The objective of this course is to provide the student with a general understanding of User Modeling and how it can be used. One of our main focuses will be on the acquiring of fundamental theoretical knowledge. Besides, the course will give course participants to discuss. The course will cover many topics, some in more depth than others:
– What is users?
– Models of users
– User-centered design
– Evaluation of usability

ANDO Ryoichi (Assistant Professor)

rand (at)

Research Keywords : Computer Graphics, Computational Fluid Dynamics(CFD), Physics Simulation

Guidance Research WEB
The purpose of visual simulation is to reproduce the beautiful physics phenomena by means of computer simulation. This lecture aims to understand both mathematical and numerical backgrounds for simulating fluids for computer graphics. First, we start with the discretization of the Navier-Stokes equation, which describes the motion of a fluid, using Finite-Volume Method and an iterative linear system solver for computing pressure. Next, we continue to a variational discretization of the equation, accurate time integration, second-order accurate boundary embedding, and the corresponding matrix operations. Lastly, we learn about the level-set method and particle-based surface-trackers to track the deforming free-surfaces of a liquid. Through the lecture, we get the deeper insight of the fundamental techniques to solve partial-differential equations, which help solve a large variety of engineering problems.

ARAI Noriko (Professor)

arai (at)

Research Keywords : Knowledge sharing, Distance learning

Guidance Research
Survey of various ideas of distance education and their systems, including Computer Assisted Instruction (CAI), Computer Supported Collaborative Learning and Working (CSCL, CSCW)

Cheung Gene (Associate Professor)

cheung (at)

Research Keywords : Media streaming & transport, Video compression, Immersive communication

Guidance Research WEB
As the volume of media content on the Internet continues to grow exponentially, video compression, transmission and interaction remains important research themes in constructing efficient networked media systems. Relevant research topics include:
1. Single-view / Multi-view video compression and streaming over heterogeneous networks
2. Video delivery system leveraging peer cooperation and diversity
3. Compression & representation for networked navigation of large media data set

ECHIZEN Isao (Professor)

iechizen (at)

Research Keywords : Content security, Data distribution, Information security, Information hiding

Guidance Research WEB
Our goal is to establish content security technologies and systems for fair use of digital content. We have developed and continue to develop fundamental content security technologies, such as information hiding and content anonymization, content security systems that provide copyright protection, information leakage protection, and authenticity assurance, and other security measures.

GOTODA Hironobu (Associate Professor)

gotoda (at)

Research Keywords : 3D modeling, rendering, Animation

Guidance Research
One of the principal missions of computer graphics is to provide a systematic way to represent and visualize various types of objects including abstract, mathematical formulas as well as concrete, real-world shapes. For example, recent achievements in computer graphics have been applied to mixed reality systems, where Real-world objects and synthetic ones will coexist and interact with each other. On the other hand, new modeling schemes such as image-based rendering or non-photorealistic rendering have been developed. Ph.D. candidates interested in graphical modeling and representation, not necessarily limited to the topics above, are invited to join our research group to enhance their knowledge about, and experiences in visual Information processing through theoretical analysis, prototyping, and system development.

IKEHATA Satoshi (Assistant Professor)

sikehata (at)

Research Keywords : 3D reconstruction, Computer Vision, Deep learning, Multi-view stereo, Photometric stereo

Guidance Research
Students will be educated and supervised in the field of the computer vision and the image processing. The main research topic is the 3D reconstruction from the image(s) and the sensor information. The potential applications of 3D reconstruction range from the robotics, 3D mapping, VR/AR, autonomous driving and more. We will especially focus on the algorithms of the 3D reconstruction building on the machine learning techniques which may help to add rich contextual information to the 3D geometry or choose a reconstruction algorithm that is suitable for the specific task and object.

KATAYAMA Norio (Associate Professor)

katayama (at)

Research Keywords : Multimedia information processing, Multimedia information retrieval

Guidance Research
My research interest is the information processing methods for multimedia, e.g., multimedia information retrieval. By the advancement of computer technologies, the scale of multimedia information processing is increasing rapidly. This invokes the need for the sophisticated processing methods that are efficient and scalable. My research investigates such methods from the viewpoint of algorithms, data structures, software systems, etc.

KODAMA Kazuya (Associate Professor)

kazuya (at)

Research Keywords : Image/Video Coding, Visual Communications, Image Sensing, Image Restoration/Reconstruction

Guidance Research
This course will cover topics related to visual communication systems which are based on integration of image processing and sensors/cameras. Particular emphases will be laid on:
1. image enhancement by merging multiple visual sources
2. image/video transformation/coding by statistical signal processing
3. application to visual communication systems

MO Hiroshi (Assistant Professor)

mo (at)

Research Keywords : Pattern Recognition, Video content analysis

Guidance Research
Education and research supervision on multi-media information processing focusing on the following topics.
1. Basic theory of feature extraction and pattern recognition on image/video
2. Content analysis for image/video retrieval
3. Application system based on image/video processing

ONO Nobutaka (Associate Professor)

onono (at)

Research Keywords : Microphone array, Source separation, Acoustic scene analysis, Acoustic signal processing

Guidance Research WEB
This course will cover topics related to signal processing, pattern recognition, and machine learning for acoustic and music signals. Specific topics can be as follows.
1. Sound source separation, sound source localization, noise reduction, de-reverberation using microphone array
2. Analysis, separation, modification, coding of music and acoustic signals based on time-frequency representation
3. Probabilistic modeling and recognition of speech and music

SATO Imari (Professor)

imarik (at)

Research Keywords : Image-based Modeling and Rendering, Computational Photography

Guidance Research WEB
Students are encouraged to explore the latest topics in image-based modeling and rendering and computational photography ( convertion technologies for computer graphics, computer vision, and photography).

SUGIMOTO Akihiro (Professor)

sugimoto (at)

Research Keywords : Computer Vision, Human-Computer Interaction

Guidance Research WEB
In the coming ubiquitous computing environment, the computer itself has to autonomously understand human situation, intention or activities, and then provide us with useful information at the teachable moment. To establish such technology based on visual information, we concern not only fundamental theories but also developing application systems. A wide varieties of topics will be covered in my supervision.

TAKAYAMA Kenshi (Assistant Professor)

takayama (at)

Research Keywords : Animation, Computer graphics, Shape modeling, Geometry processing

Guidance Research WEB
Visual content creation with computer graphics is today still a very laborious task, demanding technical innovations in terms of both user-oriented intuitive interfaces and mathematically-sound efficient algorithms. In particular, our research focus includes (but not limited to): creation and editing of high-quality quadrilateral/hexahedral meshes, intuitive control of object deformations and animations, and geometric/appearance modeling of complex objects via advanced measurement techniques such as CT.

YAMAGISHI Junichi (Associate Professor)

jyamagis (at)

Research Keywords : Statistical learning, Speech assistive technology, Speech-based human machine interaction, Speech database, Speech information processing

Guidance Research
The main research theme of our group is the speech information processing. We supervise undergraduate, postgraduate, and PhD students as well as postdoctoral researchers on the speech information processing, especially speech recognition and speech synthesis using large-scale speech data. The speech information processing is the cross-disciplinary research field consisting of several fundamental research fields such as signal processing, natural language processing, statistical learning, and speech perception/production, and of applied research fields such as human-computer interaction and assistive technologies for the disabled. Examples of the state-of-the-art research topics are
1. statistical learning using large-scale voice data streams,
2. speech assistive technologies to improve the quality-of-life (QoL) of individuals with vocal or hearing disabilities, and
3. context-aware reactive and adaptive speech synthesis. We shall conduct such innovative speech research that contributes to both the society and the academic field in cooperation with the Centre for Speech Technology Research, University of Edinburgh, UK.

YU Yi (Assistant Professor)

yiyu (at)

Research Keywords : Geo-tagged multimedia data, Social interactions, Multimedia content diffusion, Location-aware preference mining, Geographic popularity, Location recommendations

Guidance Research WEB
Geographic-aware social multimedia data, relevant to various aspects of users’ daily life, is generated and aggregated over time on the Internet. Such data contains rich context of users and has two implications: individual user interest and geographic-social behaviors. Exploiting these multimedia landscapes helps mine personal preferences, geographic interests and social connections. In this course, we focus on 1) fundamental omponents related to geographic-aware social media, mobile users, social activities and multimedia content delivery and 2) location-enabled advanced topics and approaches related to personal preference mining, social knowledge learning, geographic distribution of social activities and multimedia content diffusion.

ZHENG Yinqiang (Assistant Professor)

yqzheng (at)

Research Keywords : 3D Reconstruction, Computer Vision, Hyperspectral Imaging, Geometric, Mathematical Optimization, Photometric Computer Vision

Guidance Research
Our research focus is on the geometric and photometric branches of computer vision. As for the geometric aspect, the major task is to reconstruct 3D scenes and locate cameras in large-scale scenarios. The photometric aspect aims to sense the illumination environment and optical properties of scene objects. We are interested in exploring physical models and developing appropriate mathematical optimization algorithms to solve various problems in these two branches.

Intelligent Systems Science

BONO Mayumi (Associate Professor)

bono (at)

Research Keywords : Conversation analysis, Conversational informatics, Sign language, Utterance, Social Interaction, Sociolinguistics, Body movement

Guidance Research WEB
This course will cover the theoretical frameworks and methodologies to understand conversational organization in our daily lives. Within conversation, talk is constituted through the mutual interaction of speaker and hearer using various modalities such as speech, gazing, body movement, and so on. My research interests mainly include the analysis of face-to-face conversation, human interaction, Japanese signed conversation, and the design of human-computer interaction.

ICHISE Ryutaro (Associate Professor)

ichise (at)

Research Keywords : Semantic Web, Data mining, Data Analysis and Machine Learning

Guidance Research WEB
Providing computers with the ability to learn is the goal of our research. In this course, we will explore the artificial intelligence technologies that let computers learn. The topics include machine learning, data mining, and semantic web.

INAMURA Tetsunari (Associate Professor)

inamura (at)

Research Keywords : Human-Robot Interaction, Intelligent Robots, Probabilistic information processing, Cognitive Development

Guidance Research
My interest is development of intelligent robots that support human in real-world environment. Especially, we aim to realize developmental intelligence with human-robot interaction subsystem and understanding of the mechanism human cognition. I provide education based on probabilistic information processing, machine learning, symbol emergence systems, imitation learning and so on.

INOUE Katsumi (Professor)

inoue (at)

Research Keywords : Multi-Agent Systems, Artificial Intelligence, Constraint Programming, Machine Learning, Reasoning, Logic Programming

Guidance Research WEB
In this course, the principles of Artificial Intelligence are studied. Relevant topics include, but are not limited to, the following:
* logical foundations of intelligent systems
* knowledge representation
* inductive logic programming
* Boolean functions, propositional logic, SAT
* predicate logic, theorem proving, consequence finding
* logic programming, answer set programming
* belief revision, updates, abduction
* constraint programming, CSP
* distributed reasoning, distributed learning
* network inference, biological inference
* Boolean networks, cellular automata

MIYAO Yusuke (Associate Professor)

yusuke (at)

Research Keywords : Natural Language Processing, Computational Linguistics

Guidance Research
This course focuses on computational linguistics and natural language processing, which study theories and technologies to enable computers to process human languages such as Japanese and English. The research topics include theoretical frameworks for natural language such as syntactic/semantic theories and machine learning, fundamental technologies including syntactic/semantic parsing and knowledge acquisition, and natural language applications such as machine translation, information extraction, and intelligent search systems.

MIZUNO Takayuki (Associate Professor)

mizuno (at)

Research Keywords : Web mining, Big data mining, Boom-Bubble phenomenon, Macroeconomics, Econophysics, Statistical physics

Guidance Research WEB
Econophysics is studied. We empirically analyze the big data for Boom-Bubble Phenomenon on the basis of economics and physics, and find the interaction between diverse economic agents generating the Boom-Bubble Phenomenon. We apply the research results to economic policy and management.
1. Boom of product and asset market that information causes.
2. Interaction between regions causing real estate boom.
3. Connection between firms causing industrial boom.
4. Alleviation of excessive competition in the boom period

OHMUKAI Ikki (Associate Professor)

i2k (at)

Research Keywords : Semantic Web, Knowledge Sharing, Social Network Analysis

Guidance Research
My research interest is supporting communication in the web. We will discuss design and development of communication systems based on the semantic web technology and social network analysis.

PRENDINGER Helmut (Professor)

helmut (at)

Research Keywords : Emotion and sentiment recognition from text, Multimodal interface, Life-like characters, Automatic content creation for virtual worlds and the 3D internet

Guidance Research
The overall goal is to investigate techniques for the creation of more intuitive and effective human-computer interfaces, including methods from artificial intelligence, multi-modal behavior generation/recognition, multimedia presentation, and affective computing. The two main topics are:
1. Embodied interfaces that emulate aspects of human face-to-face communication by using animated interface agents, with applications in online product and information presentation, interactive computer-based services, e-learning, and interactive entertainment.
2. Virtual worlds like “Second Life” and Open Simulator as platforms for simulation, experimentation, visualization, collaboration, interaction, and co-experience.

SATOH Ken (Professor)

ksatoh (at)

Research Keywords : Multi-Agent Systems, Reasoning, Machine learning, Knowledge Representation, Computational Logic

Guidance Research
We study theoretical foundations of artificial intelligence and applications based on such foundations. Specifically, we investigate theoretical foundations of the following reasoning mechanisms, their implementations and applications. The field includes:
1. Reasoning under incomplete information such as non monotonic reasoning: In this research, we focus on analyses of logical foundations of non monotonic reasoning such as circumscription and their efficient implementation.
2. Reasoning based on experiences such as case-based reasoning: In this research, we focus on relationship between case-based reasoning and machine learning theory and multi-media case-based reasoning.

SUGIYAMA Mahito (Associate Professor)

mahito (at)

Research Keywords : Data mining, Bioinformatics, Machine learning, Knowledge discovery

Guidance Research WEB
We study data analysis methodologies such as data mining and statistics from theory to practice with focusing on the machine learning theory. In particular, our research focus includes scalable algorithms to extract valuable information from data and statistical theories that support reliability of the discovery. Moreover, we discuss how to use data analysis methods in scientific fields such as bioinformatics to achieve scientific discovery.

TAKEDA Hideaki (Professor)

takeda (at)

Research Keywords : Community-Support System, Semantic Web, Knowledge Sharing, Design Theory

Guidance Research WEB
His primary research interests are in the areas of techniques for knowledge sharing systems that enable people collaborate to each other to develop their knowledge. His current research focuses on ontology engineering including theoretical foundation of ontology and its developing methodology, and community support methodologies that can support community activities to generate community knowledge.

YAMADA Seiji (Professor)

seiji (at)

Research Keywords : Human-Agent Interaction, Human-Robot Interaction

Guidance Research WEB
We will discuss the design of human-agent interaction. For preparation, we will survey on the design of intelligent agents, especially life-like agent and machine learning, action selection. If necessary, reading papers round a class will be done. The topics are in the following
– Design of intelligent agents
– Human-robot interaction
– Adaptation between humans
– Adaptation between a human and a robot
– Design of human-agent interaction

Information Environment Science

KANDO Noriko (Professor)

kando (at)

Research Keywords : Text Processing, Information Access Technologies, Information Retrieval, Evaluation Methodology and Metrics

Guidance Research
Principles and methods of information retrieval. An examination of the central concept in Information Retrieval, methods, consideration for the relationship to user’s context, retrieval purpose, task and need as well as characteristic of information objects.

NISHIZAWA Masaki (Associate Professor)

nisizawa (at)

Research Keywords : Research trends, Scientmetrics, Statistical analysis, Bibliometrics

Guidance Research
This course focus on methodology and case analysis of the scientometrics for measuring scientist’s research activity, research trends and development of science. We discuss technique to extract internal factor to explain the characteristics of the empirical distribution with comparing a mathematical model in natural science.

OKADA Hitoshi (Associate Professor)

okada (at)

Research Keywords : Electronic Commerce, IT-enabled Services, Electronic Money

Guidance Research
We would like to think about how Electronic Commerce and Electronic Money affair on our Economic activity or Social Structure. In this course, we will see the recent business cases around the world, analyze the user activity using several statics methods. Then we shall achieve the research ability to find some institutional matters on Information Society and to give some policy proposals.

OYAMA Keizo (Professor)

oyama (at)

Research Keywords : Web Information Processing, Text Processing, Data Engineering, Information Access Technologies, Information Systems, Information Retrieval

Guidance Research
Investigate methods for efficiently accessing to rapidly expanding and diversifying information resources, in stages from elemental techniques to application systems, including: (1) application of text processing techniques such as information retrieval and text classification to Web page data and large scale databases; (2) organization among and unified access to various information systems and information services.

SUN Yuan (Associate Professor)

yuan (at)

Research Keywords : Bibliometrics, Bibliometric Data, Research evaluation, Statistical Methods

Guidance Research
Bibliometrics has become a standard tool of science policy and research management in the last decades. In this course we introduce the fundamental techniques of bibliometrics, together with related statistical methods. Topics include citation analysis, co-authorship analysis, basic and advanced data-analytical methods.

SOKENDAI (The Graduate University for Advanced Studies)School of Multidisciplinary Sciences,Department of Informatics

国立大学法人 総合研究大学院大学 大学共同利用機関法人 情報・システム研究機構 国立情報学研究所 / National Institute of Informatics