LAB LOGA page on LabLog, a review site (not the lab's official page)
Kishi Lab
Machine-translated · View original
The lab studies how software is built, used, and evolved.
AboutAbout the lab
Leading advanced software development.
Kishi Lab tackles problems in software engineering, centered on software design that makes use of modeling techniques.
Software engineering is the field that studies how to build, use, and evolve software in a rapidly changing business and technology environment.
The lab deals with questions such as what architecture to use to build software, how to efficiently build similar pieces of software, and how to verify the correctness of the software that has been built.
The lab tries to understand software in connection with the real world and to solve problems from a variety of perspectives and with a variety of techniques.
Key terms
- Software engineering
- The field that studies methods and tools for building software efficiently and correctly and for keeping it in use
- Modeling
- Representing the structure and behavior of something to be built with diagrams and symbols so that it can be examined before it is built
- Architecture
- The high-level framework of a piece of software: how the whole is divided into components and how those components are connected
NewsLab news
Two master's students received the Student Encouragement Award at the IPSJ National Convention (Information Processing Society of Japan)
A master's student received the FIT Encouragement Award at the 24th Forum on Information Technology (FIT) of the Information Processing Society of Japan
A master's student received the Student Encouragement Award at the IPSJ National Convention (Information Processing Society of Japan)
Professor Kishi received the FY2023 Distinguished Service Award from the IPSJ Special Interest Group on Software Engineering
ResearchResearch themes
Kishi Lab tackles a wide range of problems in software engineering, with software design that makes use of modeling techniques as its central theme. It tries to understand software in connection with the real world and to solve problems from various perspectives and with various techniques.
*Illustrative imageSpeeding up model checking with machine learning
Model checking, which verifies for all possible cases that software behaves according to its specification, takes too long when the system is large. The lab is developing methods that use machine learning and parallelization to make it possible to check even large systems.
*Illustrative imageAutomatically generating tests for AI
Software that uses neural networks also needs to be tested properly. The lab studies methods for automatically generating test cases, using how much the neurons in each layer of the network were activated as a guide.
*Illustrative imageDesigning families of slightly different products
In software that builds many slightly different products from the same foundation, it is important to organize the differences (variability) well. The lab studies how to divide variability models and how to discover variability in existing code.
MembersFaculty
- ProfessorTomoji Kishi
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to Kishi Lab
Takahashi LabSchool of Creative Science and Engineering, Department of Industrial and Management Systems EngineeringSystems theory, soft systems science
Nonaka LabSchool of Creative Science and Engineering, Department of Industrial and Management Systems EngineeringSystems engineering, service engineering
Komatsubara LabSchool of Creative Science and Engineering, Department of Industrial and Management Systems EngineeringErgonomics and human life engineering
Tanimizu LabSchool of Creative Science and Engineering, Department of Industrial and Management Systems EngineeringProduction systems engineering, production management, and e…The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “Java code demonstrating source-code abilities” Ilyaaaaa / CC BY-SA 4.0 (cropped)
- Speeding up model checking with machine learning: “UC-SAT Solver” Eric Moore Hi / CC BY 4.0 (cropped)
- Automatically generating tests for AI: “Weights-nn-62ef826d1a6d” The neural network that is used to make this file is in CC0 “No Rights Reserved” Username of user SFisGOD / CC0 (cropped)
- Designing families of slightly different products: “Processes Flowchart” CPortero (WMF) / CC BY-SA 4.0 (cropped)
- Related lab (Takahashi Lab): “Murmuration 11-2025” Skander zarrad / CC BY-SA 4.0 (cropped)
- Related lab (Nonaka Lab): “Kitchen ( )” cage.okada / CC BY 2.0 (cropped)
- Related lab (Komatsubara Lab): “Desire path ( )” Metro Centric / CC BY 2.0 (cropped)
- Related lab (Tanimizu Lab): “Factory Automation Robotics Palettizing Bread” KUKA Roboter GmbH, Bachmann / Public domain (cropped)
About LabLog
LabLog 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 basic lab info and rating summaries 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.