A page on LabLog, a review site (not the lab's official page)
27 labs · 2 student voices
Other departments in School of Computing ›Faculties at Institute of Science Tokyo ›

Sakie Suzuki, Associate Professor
1 student voices
The Suzuki Lab studies quantum invariants of knots and 3-manifolds. Its specialties are knot theory and quantum topology, and it is also interested in applied mathematics using the Four Color Problem and persistent homology. The lab's website keeps a diary recording day-to-day life, including seminars and research with students.

Nakano Yumiharu, Associate Professor
1 student voices
The Nakano Lab studies the theory and numerical analysis of stochastic control problems, and their applications to finance. Under the research theme of computational mathematics for stochastic control, optimal transport, and inference, the lab addresses uncertainty from both mathematical and computational perspectives. Its research topics include numerical analysis of HJB equations and stochastic optimal control, stochastic optimal transport and generative models, and filtering and inverse problems for stochastic systems. The lab also covers mathematical finance and actuarial science, and has a co-authored book, Mathematics of Finance and Insurance (published in Japanese).

Mikito Nanashima, Associate Professor
0 student voices
The Nanashima Lab conducts research centered on computational complexity theory. This is a field that asks how far problems can be solved under limited computing resources. From there, the lab also takes up fundamental questions that connect to learning theory and cryptography. The lab was founded in May 2026.

Ryuichi Sakamoto, Associate Professor
0 student voices
The Sakamoto Lab studies methods for connecting and intelligently operating a wide range of computers, from supercomputers and the cloud to embedded devices. It designs hardware such as accelerators and networks together with software such as operating systems and cloud platforms. Considering everything from compilers to algorithms as a whole, the lab aims for computing systems that are high-performance, highly reliable, and low in power consumption.

Jin Takahashi, Associate Professor
0 student voices
The Takahashi Lab uses mathematical methods to study the singularities of solutions to partial differential equations involving diffusion. It is particularly interested in a class of equations known as nonlinear parabolic equations, which involve time evolution. The lab deals with cases in which solutions depart from ordinary behavior, such as blow-up solutions and singular solutions.

Satoshi Matsuura, Professor
0 student voices
The Matsuura Lab studies, from a cybersecurity perspective, the technologies and countermeasures that organizations need in order to operate stably. A distinctive feature of the lab is that it covers a wide range of topics related to cybersecurity. Working with the front lines of security operations, the lab processes and analyzes large-scale data. It also takes on practical research themes such as incident response.

Ryohei Kobayashi, Associate Professor
0 student voices
The Kobayashi Lab studies massively parallel computer systems and methods for solving real problems with them. At its center is high-performance computing using accelerators, beginning with GPUs. Because the power available to supercomputers is limited, improving energy efficiency has become an urgent issue. From system configuration and algorithms to execution scheduling, the lab builds mechanisms that draw out performance from both the hardware and software sides.

Ken'Ichiro Tanaka, Professor
0 student voices
The Tanaka Lab studies numerical analysis and the computational methods used in science and engineering. The lab mathematically designs formulas that approximate functions well and formulas that compute integrals numerically. In doing so, it draws on ideas from optimization, for example using mathematical optimization to decide at which points to take the function's values. The lab's research also covers numerical computation for economics and finance, and verified numerical computation, which guarantees bounds on the error.

Miyoshi Naoto, Professor
0 student voices
The Miyoshi Lab models and analyzes uncertain phenomena in everyday life using probability. From the models it builds, the lab draws out mathematical structures and essential properties, and examines what outcomes to expect. It is particularly interested in stochastic phenomena that arise in information and communications and in computer science. Its subjects include the placement of mobile phone base stations and queues, which work on the same principle as a line at a store checkout.

Youyou Cong, Assistant Professor
0 student voices
The Cong Lab studies programming languages from both theoretical and educational perspectives. It develops techniques for guaranteeing the correctness of programs, as well as environments that support people who are just beginning to learn programming. It is especially interested in mechanisms such as continuations and dependent types in programming language theory. In the professor's doctoral dissertation, a dependently typed language with delimited continuation operators was designed in order to achieve both program reliability and language expressiveness.
Student voices are for students only. Sign up free with your university email to read student voices for each lab.
Sign up freeLabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the lab list and basic info on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.