LAB LOGLab reviews by studentsOpen the app
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 ›
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.
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