LAB LOGLab reviews by studentsOpen the app
A page on LabLog, a review site (not the lab's official page)
62 labs · 2 student voices
Faculties at Institute of Science Tokyo ›
Masaaki Umehara, Professor
0 student voices
The Umehara Lab studies differential geometry. Its research subjects are visual objects such as curves and surfaces. Current work includes maximal surfaces in spacetime, surfaces of constant mean curvature 1 in 3-dimensional de Sitter space, and isometric deformations of singularities. The lab is also interested in the index of umbilic points of surfaces, and continues to study it as a life's work.
Yasuhiko Minamide, Professor
0 student voices
The Minamide Lab researches theories and techniques for improving the reliability of software. Society today depends ever more heavily on software, and improving its reliability has become a challenge. In web-related software, for example, a small error in a program can cause vulnerabilities such as cross-site scripting and SQL injection. The lab focuses especially on research into verification techniques based on the theory of formal languages and automata.
Keisuke Tanaka, Professor
0 student voices
The Tanaka Lab approaches information security from a mathematical perspective. Information security means protecting the safety of information and communication networks. Specifically, the lab covers cryptography, cryptocurrency and blockchain technology, and cybersecurity. Cryptography is also closely related to computational complexity theory, information theory, and number theory.
Hidehiko Masuhara, Professor
0 student voices
The Masuhara Lab researches programming languages and software development environments. By pursuing the theory, design, and implementation methods of languages and environments, the lab's main goal is to make programming more fun. It works on a wide range of themes, including type systems, control mechanisms, just-in-time compilation techniques, and the advancement of integrated development environments.
Kashima Ryo, Associate Professor
0 student voices
The Kashima Lab studies mathematical logic. In particular, it works on non-classical logics, which take a different approach from classical logic, and on lambda calculus, which expresses computation in the form of functions. It treats systems of logic themselves in the language of mathematics and investigates their properties. Its published books include 'Mathematical Logic' and 'Modal Logic in Computer Science'.
Makoto Yamashita, Professor
0 student voices
The Yamashita Lab studies mathematical optimization. Mathematical optimization is a mathematical method for finding the best option among candidates that satisfy constraints. The lab focuses especially on continuous optimization and nonlinear optimization, aiming to solve larger problems faster and more accurately. It also studies a method for computing, as a semidefinite programming problem, the question of which proportions of many kinds of trees to combine to create an arboretum.
Toshio Endo, Professor
0 student voices
The Endo Lab studies software and algorithms for high-performance computing systems, including supercomputers. Using supercomputers such as the on-campus TSUBAME4.0, the lab has recently also been working on scaling up and accelerating deep learning with GPUs. Supercomputer designs keep changing year after year, with growing parallelism and increasingly complex memory hierarchies. Software that makes these machines easier to use is in demand, and the lab carries out joint research with closely related labs as well as labs in other fields.
Heming Sun Heming, Associate Professor
0 student voices
The Heming Sun Lab studies image processing, neural networks, and the acceleration of related hardware. The lab covers visual computing broadly, from learning algorithms to highly efficient hardware systems. Its research themes include video compression, generative models, acceleration with FPGAs and ASICs, and large language models. The lab aims to turn research ideas into highly efficient systems that actually work.
Yoshifumi Yoshifumi Nakata, Associate Professor
0 student voices
The Yoshifumi Nakata Lab studies quantum information science from a theoretical perspective. Quantum information science merges quantum theory, a fundamental theory of physics, with ideas from information science, and fundamentally explores the possibilities and limits of information processing. The lab works on quantum information processing, including quantum communication, quantum error correction, and quantum algorithms, as well as fundamental research that views physical phenomena from the perspective of information. The lab's motto is: "Unravel the quantum through the lens of information, and bring breakthroughs to information technology through the power of the quantum."
Keisuke Keisuke Yanagisawa, Associate Professor
0 student voices
The Keisuke Yanagisawa Lab uses state-of-the-art computing systems, including supercomputers and quantum annealers, to elucidate biological phenomena and apply the findings to drug discovery. The lab draws on a wide range of approaches, from large-scale simulation to algorithm design. Its work includes computational-science-based support for drug discovery, the development of simulation-based analysis methods, and the application of quantum annealing to drug discovery research.
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.
LAB LOG