Inference and Knowledge Representation Hypothesis-finding based on Induction and Abduction Knowledge Discovery for Systems Biology
UNO Takeaki
Associate Professor
Efficient and practical fast algorithms for solving large scale problems arising from data mining and genome sciences Theory of Complexity on Discrete algorithms and enumeration algorithms Practical efficient computational models and algorithms for industrial engineering such as scheduling， logistics， and vehicle routing problems
ONO Nobutaka
Associate Professor
Sound source localization/separation based on microphone array Analysis and modification for speech and music signals Music information retrieval
KAWARABAYASHI Ken'ichi
Professor
Graph coloring problems in discrete math Structural graph theory and its applications to algorithms Network flow and disjoint paths problem
COLLIER Nigel
Associate Professor
Text Mining Natural Language Processing Ontology Engineering
SATOH Ken
Professor
Construction of multiagent systems with speculative computation Applications of AI to Legal Reasoning
TAKEDA Hideaki
Professor
Knowledge sharing system Semantic Web Design theory
Research on ubiquitous and mobile networks and their applications Research on Delay/Disruption-Tolerant Networks (DTNs)
KOBAYASHI Ryota
Assistant Professor
INAMURA Tetsunari
Associate Professor
Human robot interaction Synthetic study of robot intelligence based on stochastic information processing Intelligent information processing based on embodiment of robots
UTSUNOMIYA Shoko
Associate Professor
Quantum simulation using optical semiconductors Quantum solid state physics in optical semiconductors
KANAZAWA Makoto
Associate Professor
Lambda calculus and formal grammar Logical semantics of natural language
KUMA Keiichi
Professor
Comparative genome analysis based on molecular evolutionary approach
SADAKANE Kunihiko
Associate Professor
Succinct data structures for efficient storage and search of data Data structures for fast string processing Graph exploration algorithms, random walks
Numerical Analysis, Numerical Linear Algebra Development and analysis of iterative methods for large systems of linear equations, least squares problems.
MATSUMOTO Keiji
Associate Professor
Quantum information and computation
YAMAMOTO Yoshihisa
Professor
Photonic quantum information systems Electronic quantum simulation systems
BYRNES Tim
Assistant Professor
Quantum Information Quantum Computation Solid State Physics
YOSHIDA Yuichi
Assistant Professor
Property testing / sublinear time algorithm / constraint satisfaction problem / approximation algorithm
