A page on LabLog, a review site (not the lab's official page)
47 labs · 0 student voices
Faculties at Kyushu University ›

Daisuke Tagami, Associate Professor
0 student voices
Associate Professor Daisuke Tagami's fields are applied mathematics and computational mechanics, and his research focuses on developing numerical methods for partial differential equations, error estimation, and applications to real-world problems. The lab's subjects include numerical analysis of particle methods, large-scale numerical methods for electromagnetic field problems, viscoelastic flow problems, moving boundary problems, the Navier–Stokes equations, and thermal convection problems. The lab also studies applications of the Navier–Stokes equations to the numerical computation of drag and lift, and applications of thermal convection problems to the numerical computation of glass melting.

Daniel Gaina, Associate Professor
0 student voices
This lab studies universal logic, which treats a wide variety of logical systems in a common framework. Using category theory as its mathematical language, the lab works on the theory of institutions, which formalizes a logical system as a combination of a signature (a collection of symbols), sentences, models, and a satisfaction relation. The lab has been involved in laying logical foundations for formal methods, which are used to write software specifications and support their verification, and in designing tools that assist with proofs. Recently, the lab has been extending its theory to hybrid systems, which combine discrete and continuous behavior, and to quantum computation.

Koji Nuida, Professor
0 student voices
Professor Koji Nuida mainly researches the mathematics of cryptography and secure computation. In addition to secure computation technologies, the professor works on evaluating the mathematical security of cryptographic techniques, including post-quantum cryptography, and on the theoretical foundations of cryptography, including how to use pseudorandom numbers. In mathematics, the professor conducts research on combinatorial group theory, including the structure theory of Coxeter groups, as well as on combinatorics and discrete mathematics.

Yasuhiko Ikematsu, Associate Professor
0 student voices
Associate Professor Yasuhiko Ikematsu researches the development of post-quantum cryptography, which is believed to be hard to break even with quantum computers. The professor is particularly interested in multivariate polynomial cryptography, which is built on the difficulty of solving systems of multivariate quadratic equations. This type of cryptography is considered a leading candidate for post-quantum cryptography. However, its large public key size and the insufficient analysis using Gröbner bases remain challenges, and the lab aims to resolve them.

Tetsuhiro Moriyama, Associate Professor
0 student voices
The Next-Generation Manufacturing Innovation Promotion Hub is a joint research promotion hub established by Kyushu University and Sumitomo Wiring Systems, Ltd. in October 2025. The hub aims to resolve the uncertainty caused by reliance on manual labor in manufacturing engineering chains and supply chains. Using mathematical and information technologies such as big data, AI, and optimization, it carries out interdisciplinary research across all academic fields. Associate Professor Tetsuhiro Moriyama specializes in topology, applied topology, and industry-academia collaboration.

Takaharu Yaguchi, Professor
0 student voices
Professor Takaharu Yaguchi's lab lists numerical analysis, machine learning, mathematical modeling, and geometric mechanics as its research themes. In the researcher profile, the research fields are classified as applied mathematics and statistical mathematics. Published papers include work that uses neural networks to reproduce phenomena in accordance with physical laws such as energy conservation and dissipation.

Yasuhiko Asao, Associate Professor
0 student voices
Associate Professor Yasuhiko Asao's lab is a mathematics lab interested in algebraic topology, magnitude theory, and their applications. The lab is part of the Division of Advanced Mathematical Technology at the Institute of Mathematics for Industry. The professor also holds concurrent appointments in the Graduate School of Mathematics, Department of Mathematics, and the Faculty of Science, Department of Mathematics.

Ryoya Fukasaku, Associate Professor
0 student voices
Associate Professor Ryoya Fukasaku's lab studies the development and application of algebraic computation methods. Its main research area is computer algebra. The lab has made quantifier elimination more efficient and implemented it in the computer algebra system Maple. Quantifier elimination is a method that, given a first-order formula, computes a quantifier-free formula that is equivalent to it over the real field. Recently, the lab has also begun applying computer algebra methods over the real numbers to the mathematical sciences.

Atsushi Tero, Associate Professor
0 student voices
The Mathematical Modeling and Adaptive Networks Lab studies the behavior and intelligence of living things using mathematical models. The lab describes the behavior of single-celled organisms such as true slime molds with equations and reproduces it on a computer to explore the origins of intelligence. Another research theme is how behavior is controlled, approached through the relationship between periodic movements such as walking and the body's internal state. The lab is part of the Applied Theory Division at the Institute of Mathematics for Industry.

Hiroyuki Ochiai, Professor
0 student voices
The Algebraic Analysis and Representation Theory Lab specializes in algebraic analysis and focuses on special functions that appear in representation theory. The lab conducts research centered on mathematics and the mathematical sciences. The lab also carries out joint research with industry. As part of the results, it received the Prize for Science and Technology in the Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology in fiscal 2014, together with its collaborators. Prof. Ochiai's website also has a page that explains the ABC conjecture in a way that even elementary school students can understand.
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.