CTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> Department of Computer Science, University of Tokyo
  • HOME
  • Laboratories and Members

Laboratories and Members

In and Around Science Bldg. 7

Hagiya Laboratory
Masami Hagiya

With background in formal logic, our laboratory is seeking for new computational models, developing new methods for analyzing and verifying such models, and implementing new tools for analysis and verification. While our main target is software systems and programming languages, we also deal with molecular and biological systems, and we are currently doing research on molecular computing.

Imai Laboratory
Hiroshi Imai / Yuko Kuroki Eyuri Wakakuwa
  1. Design and analysis of algorithms. In particular, geometric algorithms and their application to computational algebra, discrete system and optimization, including system analysis.
  2. Giving impact to new disciplines, such as computational biology, database theory, geographic information system, vehicle navigation, knowledge discovery, on the basis of the study of algorithms.
  3. Quantum computation and quantum information science
Suda Laboratory
Reiji Suda / Taku Onodera
Parallel numerical processing
Kobayashi Laboratory
Naoki Kobayashi / Ryosuke Sato

We study theoretical foundations for software, and their applications to programming languages, program verification, and program transformation. The recent topics include automated program verification based on higher-order model checking.

Igarashi Laboratory
Takeo Igarashi / Tsukasa Fukusato
User interface, computer graphics
Sugiyama Laboratory
Masashi Sugiyama / Takashi Ishida

We study various topics in machine learning.

  1. Fundamental theories of supervised, unsupervised, and reinforcement learning.
  2. Practical algorithms of supervised, unsupervised, and reinforcement learning.
  3. Applications in natural sciences and industries.
Miyao Laboraltory
Yusuke Miyao

Our research is focused on natural language processing and computational linguistics. Examples include:

  1. Computational model of language and language analysis technologies: e.g. syntax/semantics, parsing, semantic analysis
  2. Application of natural language processing: e.g. machine translation, question answering, dialog systems
  3. Grounding of language to non-linguistic data (e.g. visual data, statistical data).
Yoshimoto Laboratory
Yoshihide Yoshimoto

Computational science is a new approach in the science after the experimental and the theoretical approaches and has developed with the exponential evolution of computers. By utilizing the first-principles electronic structure calculation as a core, the laboratory carries out the educations and researches in the interface region between computer science and compuational science.

Kato Laboratory
Shinpei Kato

Our research interests include operating systems, real-time systems, and parallel and distributed systems, with a particular emphasis on resource management for heterogeneous computing environments composed of many cores, GPUs, and FPGAs. We also work on parallel processing on those processors and its performance analysis. Furthermore, we develop autonomous vehicles, high-definition 3D maps, and online machine learning frameworks.

Takamaeda Laboratory
Shinya Takamaeda

The center of our research interests is computer architecture. We are pursuing various researches on highly-efficient next generation computers, such as custom computing employing FPGA and domain-specific hardware, algorithm/hardware co-design for machine learning, and high-level synthesis compiler for productive hardware design environment.

Sato Laboratory
Issei Sato

We study the following topics on machine learning.

Quantifying uncertainty in predictions, learning feature representations of data, learning with human-in-the-loop, learning from biased data, and theoretical analysis for learning models including deep learning.

As an application, we have developed analysis and support systems for the medical field.

Yokoya Laboratory
Naoto Yokoya

We study image processing and spatio-temporal data analysis. Our research topics include:

  1. Image processing: super-resolution, image restoration, denoising, compressed sensing image reconstruction, image synthesis
  2. Spatio-temporal data analysis: semantic segmentation, change detection and recognition, signal separation
  3. Applications of image processing and spatio-temporal data analysis: disaster monitoring and environmental monitoring.
Yanaka Laboratory
Hitomi Yanaka

The aim of our research is to realize human-like natural language understanding systems by integrating logic-based approaches with machine learning-based approaches. Recent topics:

  1. Probing language models from multiple perspectives (e.g., formal semantics and cognitive science)
  2. Compositional semantics, natural language inference, and related applications of natural language processing

Laboratories at other locations

Nakai Laboratory (Institute of Medical Science)
Kenta Nakai
genome informatics, computational biology, DNA sequence analysis, architechture of cis regulatory regions
Imoto Laboratory (Institute of Medical Science)
Seiya Imoto
Genome Statistical science, microarray gene expression data analysis
Shibuya Laboratory (Institute of Medical Science)
Tetsuo Shibuya
Genome analysis; Algorithm theory
Nakata Laboratory (Social ICT Research Center)
Toshiyuki Nakata
Parallel Architectures´╝îParallel Programming Languages, Architecture of Cyber Physical Systems
Shimizu Laboratory (Department of Biotechnology)
Kentaro Shimizu
Bioinformation engineering, parallel and distributed computing
Takano Laboratory (National Institute of Informatics)
Akihiko Takano
Software research, programming
Aizawa Laboratory (National Institute of Informatics)
Akiko Aizawa
Text media, knowlege processing
Sato Laboratory (National Institute of Informatics)
Imari Sato
Computer Vision, Computational Photography, Image analysis, Reflectance analysis, Medical Imaging