Research Laboratories
and Subjects

• Ryohei Kobayashi research group
  

  Speed is justice in computer science.

  Our laboratory is conducting research and development on massively parallel computer systems, as well as research on the application of these systems to real-world problems, with a particular focus on high-performance computing based on accelerators such as GPUs.
  • Computer Systems
  • High Performance Computing
  • Accelerator
  • Reconfigurable Computing System
  Detailed Site
• Ken'ichiro Tanaka Laboratory
  

  Exploring numerical methods and their mathematics

  • Numerical Analysis
  • Algorithms for numerical computation
  Detailed Site
• Naoto Miyoshi research group
  

  Probabilistic analysis of irregularities and uncertainties

  We consider various problems including irregularities and uncertainties through the analysis of stochastic models. In particular, we are interested in probabilistic phenomena in computer and communication systems.
  • Applied probability
  • Stochastic models of information and communication systems
  • Queueing theory
  • Wireless communication networks
  Detailed Site
• Youyou Cong reserch group
  

  Making programs correct and easy to write

  We study programming languages from theoretical and educational perspectives, focusing on correctness of programs and ease of programming.
  • Programming languages
  • Programming education
  Detailed Site
• Katsuki Fujisawa Research Group
  

  Realization of a super-smart society

  To realize a super-smart society, we aim to solve social issues by integrating reality with virtual spaces, utilizing cutting-edge technologies.
  • Mathematical optimization
  • Deep learning
  • Graph analysis
  • High-performance computing
  Detailed Site
• Yu Yokoi research group
  

  Discrete algorithms for optimality and fairness

  We aim to design algorithms that achieve optimality and/or fairness criteria for combinatorial problems related to discrete math and game theory.
  • Combinatorial optimization
  • Discrete mathematics
  • Algorithmic game theory
  Detailed Site
• Zin Arai research group
  

  Dynamical Systems and Computational Topology

  We study dynamical systems and computational topology. We aim to bridge the gap between pure mathematics and concrete problems via computer science.
  • Dynamical systems
  • Computational topology
  Detailed Site
• Kenji Yasunaga research group
  

  Looking at crypto and computation mathematically

  We explore the theoretical limitations of various technologies in theoretical computer science, such as cryptographic primitives and error-correcting codes.
  • Cryptography
  • Theory of computation
  • Coding theory
  • Theoretical computer science
  Detailed Site
• Satoshi Takabe research group
  

  Signal Processing for many-body systems

  We study theoretical information and signal processing using machine learning and statistical physics dealing with random many-body systems.
  • Statistical physics
  • Signal processing
  • Machine learning
  • Optimization
  Detailed Site
• Hanna Sumita research group
  

  Optimization algorithms with theoretical guarantee

  • Combinatorial optimization
  • Algorithms
  Detailed Site
• Shinya Nishibata research group
  

  Differential equations in mathematical physics

  • Mathematics
  • Analysis
  • Theory of differential equations
  • Mathematical physics
  Detailed Site
• Shunsuke Tsuchioka research group
  

  Symmetry

  Representation theory is a study of symmetry as number theory is a study of numbers. A goal is to find Ramanujan-like formulas by Lie theory, quantum algebras and categorification.
  • Representation Theory
  • Quantum Algebra
  • Categorification
  • Lie Theory
  Detailed Site
• Sakie Suzuki research group
  

  Knot theory and Quantum topology

  I am studying quantum invariants of knots and 3 dimensional manifolds. I am also interested in the four color theorem and applied mathematics using persistent homology.
  • Knot theory
  • Quantum topology
  • Four color theorem
  • Persistent homology
  Detailed Site
• Takafumi Kanamori research group
  

  Understanding "information" from statistical machine learning

  We are working on theoretical study of machine learning algorithms and its application to real-world data. Let's find something valuable (and fun!) from big data oceans!
  • Machine learning
  • Mathematical statistics
  • Information geometry
  Detailed Site
• Ken Wakita research group
  

  Navigating through hyper-dimensional world

  High-dimensional interactive visualization technology effectively untangles the complexity of big-data and helps you find a viewpoint of your own.
  • Social network analysis
  • Information visualization
  • Programming language
  Detailed Site
• Masaaki Umehara research group
  

  We are mainly interested in curves and surfaces.

  We are working on differential geometry, and interested in maximal surfaces in Lorentzian 3-space and isometric deformations of singularities.
  • Differetial geometry
  • Manifolds
  • Curves and surfaces
  Detailed Site
• Yasuhiko Minamide research group
  

  Explore the science of software for the future

  To establish the foundation for verification of software, we are working on the theories of programming languages and computation models.
  • Software verification
  • Programming languages
  • Computation models
  Detailed Site
• Keisuke Tanaka research group
  

  Mathematical Approach to Information Security

  Information secuirty is important in modern society. We study it from cryptography to cybersecurity by mathematical approach.
  • Theory of cryptography
  • Information security
  • Theory of computation
  • Mathmatics
  Detailed Site
• Hidehiko Masuhara research group
  

  Making programming more fun

  Our primary research topics are desin and implementation of programming languages and software development environment.
  • Programming languages
  • Software development environment
  • Software science
  Detailed Site
• Toshiaki Murofushi research group
  

  Mathematics where one plus one does not necessarily equal two

  Set functions can describe phenomena where one plus one does not necessarily equal two. The figure shows our automatic drawing of a Venn diagram.
  • Non-additive measure theory
  • Theory of set functions
  • Formal concept analysis
  • Information visualization
  Detailed Site
• Ryo Kashima research group
  

  Mathematical study of non-classical logics

  • Non-classical logics
  • Mathematical logic
  Detailed Site
• Makoto Yamashita research group
  

  Mathematical approach to pursue the best

  Finding the optimal solution is a key to attaining higher efficiency. We find the optimal solution from mathematical and computing aspects.
  • Mathematical optimization
  • Applied mathematics
  • Optimization
  • Operations research
  Detailed Site
• Toshio Endo research group
  

  Finest and fastest simulations with supercomputers

  • High performance computing
  • Software
  • Accelerators
  • Memory hierarchy
  Detailed Site
• Toshiya Itoh research group

  

  Design and Theoretical Analysis for Algorithms

  competitive analysis for online algorithms, analysis for popular matchings, query complexity for LDC, commumication complexity for PIR.

  • Online algorithms
  • Randomized algorithms
  • Discrete mathematics
• Yumiharu Nakano research group
  

  Controlling Uncertainty

  We study the theory and numerical methods for stochastic control problems and its applications to finance.
  • Control theory
  • Stochastic processes
  • Finance
  Detailed Site