LAB LOGLab reviews by studentsOpen the app
A page on LabLog, a review site (not the lab's official page)
29 labs · 0 student voices
Other departments in School of Informatics ›Faculties at Nagoya University ›
Masahiko Sakai, Professor
0 student voices
The Sakai Lab specializes in the foundations of software, with a particular focus on term rewriting systems, the theory of functional programs, and methods for program transformation and verification. The lab lists term rewriting systems, program transformation and program generation, SAT solvers, esoteric programming languages, and automatic music transcription as its main research topics. Lab projects introduced include NaPS, a pseudo-Boolean constraint solver, and CombSQL+, a combinatorial optimization solver based on SQL. The lab's website is shared with the Nishida Lab.
Naoki Nishida, Professor
0 student voices
The Nishida Lab studies term rewriting, program inversion, program transformation, and program verification. Its research also includes conditional rewriting, constrained rewriting, and narrowing. The lab belongs to the Computation Theory research group of the Department of Information Systems, and is introduced on the same lab website as the Sakai Lab.
Mutsunori Banbara, Professor
0 student voices
The Banbara-Soh Lab conducts wide-ranging research in the field of Knowledge Representation and Reasoning, from basic theory to real-world application. The lab focuses in particular on general-purpose approaches to declarative problem solving, centering its research on answer set programming, SAT (satisfiability testing), and constraint programming. Research subjects include university course timetables, string compression, and puzzles. For high school and undergraduate students, the lab publishes an introduction to SAT and an article on creating nurse work schedules on the blog of Nagoya University's School of Informatics.
Hiroaki Takada, Professor
0 student voices
The Embedded Real-Time Systems Lab (the Takada-Matsubara Lab) studies technologies for realizing embedded real-time systems from both the software development and hardware design sides. Embedded real-time systems support modern society, from familiar devices such as home appliances to the control of large equipment such as industrial robots and satellites. The lab conducts joint research with many companies and also promotes the TOPPERS Project, which develops open-source software for embedded systems through collaboration among industry, academia, and government. The lab holds lab seminars, exercises, and social events jointly with the Ishihara-Masuda Lab and the Honda-Yamada Lab, which belong to the same research group.
Tohru Ishihara, Professor
0 student voices
The Ishihara-Masuda Lab studies computing methods that maximize energy efficiency, covering a wide range from hardware design to computational algorithms. The lab works on circuit design for approximate computing, which performs important computations accurately and the rest approximately, and on techniques for performing simple computations inside optical communication networks. The lab also researches the use of fuzzing, a software testing technique, to verify approximate computing circuits.
Shinya Honda, Professor
0 student voices
The Honda Lab studies embedded systems, which are computer systems built into machines and devices to control them. Example research themes include development environments using ROS and real-time operating systems, and performance evaluation. The lab also conducts joint research with companies, and students can participate from their fourth year of undergraduate study. Volunteer members also take part in the ET Robocon. On the lab's website, it is introduced as the Honda Lab of the Graduate School of Informatics at Nagoya University and the Graduate School of Science and Engineering at Nanzan University.
Shoji Yuen, Professor
0 student voices
To guarantee that programs behave as their developers intended, the Yuen-Nakazawa Lab studies how to prove, using mathematical methods, that programs satisfy specific properties. Because the possible inputs are generally infinite and cannot all be tested, the lab studies model checking, abstract interpretation, type systems, and related techniques. The lab also studies improving software reliability through reversible execution, a theory that treats formal languages through algebra, and development methods for real-time concurrent systems. The lab belongs to the Department of Information Systems, Graduate School of Informatics, Nagoya University.
Yuichi Kaji, Professor
0 student voices
Professor Yuichi Kaji's lab specializes in information theory and information security. The lab investigates the security of cryptography and digital signatures, that is, how well they can withstand attacks. It works on improving digital signatures with a view to the practical use of quantum computers, and on attacks against homomorphic encryption.
Shuji Morisaki, Associate Professor
0 student voices
The Morisaki Lab studies technologies that objectively demonstrate that software has values such as the safety and continuity of products and services. Software has become indispensable in every part of social life, including telecommunications, finance, online shopping, transportation, automobiles, satellites, and home appliances. The research deals with technologies that consistently support the entire lifecycle of software development and operation processes, including requirements, design, implementation, testing, maintenance, and operation.
Tutomu Murase, Professor
0 student voices
The Murase Lab researches fundamental technologies for mobile networks. It operates as the Applied Network Research Group in the Information Infrastructure Network Research Division of the Information Technology Center, Nagoya University. It is also a cooperating chair of the Department of Information Systems in the Graduate School of Informatics, and its students are enrolled in the Graduate School of Informatics. The lab works on research to realize communication that is comfortable anytime, anywhere.
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