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 ›
Nishizaki Shin-Ya, Professor
0 student voices
The Nishizaki Lab (Lambda Laboratory) studies programming language theory, type systems, and formal methods, along with their applications. It develops ways to verify mathematically, before a program is run, that the program will behave as expected. Building on the lambda calculus, the lab develops theories that treat computational mechanisms such as environments and continuations as values. Using model checking, it also verifies the safety and reliability of communication protocols, web servers, and similar systems.
Takashi Takashi Kobayashi, Professor
0 student voices
The Takashi Kobayashi Lab studies software engineering, particularly software maintenance and design support. It takes an approach of analyzing large amounts of software artifacts to discover information that is useful for supporting development. The analysis targets include not only source code and execution histories, but also the histories of development activities. The lab builds support methods and tools by combining static and dynamic analysis techniques with natural language processing, data mining, and machine learning.
Yutaka Akiyama, Professor
0 student voices
The Akiyama Lab studies techniques for analyzing large-scale data in medicine, pharmacy, and biology, as well as large-scale simulation. It aims to apply this work to elucidating the causes of human disease, supporting drug discovery, and analyzing microbes in the environment. Both analysis and simulation make full use of supercomputers and the cloud. In drug discovery, the lab works on molecular dynamics simulation, docking simulation, and applications of machine learning.
Misako Takayasu, Professor
0 student voices
The Takayasu Lab analyzes phenomena across a wide range of fields using methods from statistical physics, statistical science, and information science. It observes phenomena through big data on human activity, the economy, and biological information, and builds minimal mathematical models that reproduce them. Using the models it builds, the lab seeks to understand complex systems through theoretical analysis and simulation. The lab has a big data analysis room equipped with security technology, and serves as a research hub for econophysics, sociophysics, and life science.
Gondow Katsuhiko, Professor
0 student voices
The Gondow Lab studies software development tools that support program developers. Today's software has grown beyond a million lines, far larger than humans alone can develop. Existing tools such as debuggers, version control systems, and integrated development environments still leave room for improvement. The lab's approach is to enjoy the intellectual work of programming while implementing tools that can be used on real-world software.
Haruhiko Haruhiko Kaneko, Associate Professor
0 student voices
Haruhiko Kaneko Lab studies coding techniques that make computer systems highly reliable and efficient. One of them is error-control codes, which detect and correct data that has been corrupted during storage or transmission. The codes it works on are wide-ranging, including synchronization error correction, constrained codes, LDPC codes, and polar codes. The lab also works on data compression, code-based post-quantum cryptography, and dependable computing.
Jun Jun Miyazaki, Professor
0 student voices
The Jun Miyazaki Lab studies large-scale information management, including data-oriented large-scale and high-performance computing and cloud computing. Making use of multicore CPUs, GPUs, and new memory technologies, the lab develops methods for processing large amounts of data efficiently. The lab also works on techniques for efficiently accessing big data accumulated in cloud storage. The lab is also advancing research on recommender systems that retrieve the information a user intends from within vast amounts of information.
Kenji Kise Kenji, Professor
0 student voices
The Kenji Kise Lab pursues new computer systems and hardware accelerators. Its main subjects are computer architecture, embedded systems, and FPGA technology. Using FPGAs, the lab designs the architectures of processors and accelerators and runs them as actual circuits. The lab works on circuits that speed up data sorting, RISC-V processors, emulation of networks on chip, and more.
Masamichi Shimosaka, Associate Professor
0 student voices
The Shimosaka Lab aims to realize innovative intelligent information processing in the fields of mobile, wearable, and ubiquitous computing. Based on sensing data collected naturally in daily life, the lab understands and models human behavior and the intentions behind it. By combining large-scale data such as location data and search histories with wearable sensors and wireless signals, the lab aims to understand and predict human mobility and individual behavior more deeply. The lab has also worked on returning its technology to industry, including the real-world deployment of human mobility prediction systems.
Rio Yokota, Professor
0 student voices
The Yokota Lab studies how large-scale distributed parallel computing on supercomputers can be applied to a wide range of fields. The neural networks used in deep learning grow larger every year, and are reaching a point where only supercomputers can run the computation. Running existing frameworks as they are does not improve speed or accuracy, so the lab solves, one by one, the challenges specific to large-scale computing. Solving today's supercomputer challenges also means solving in advance the challenges that will arise on ordinary local compute servers ten years from now.
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