LAB LOGA page on LabLog, a review site (not the lab's official page)
Intelligent Software Engineering Lab
Machine-translated · View original
The lab aims to build safe software through program analysis and testing.
AboutAbout the lab
Understanding bugs deeply to build trustworthy software.
The Intelligent Software Engineering Lab aims to build highly reliable and safe software systems using techniques such as program analysis and verification and software testing.
The lab explores ways to deeply understand software defects (bugs) and to guarantee reliability and safety.
It also studies methods such as automatic generation of program code and automatic repair of program bugs.
On the lab's website, it is introduced under the name "Pangu Research Lab."
Key terms
- Program analysis
- Techniques that examine the contents and behavior of a program to reveal its properties and defects
- Software testing
- The work of running software to check whether it behaves as intended and has no defects
- Bug
- A defect in a program that can cause incorrect behavior or problems
ResearchResearch themes
The lab explores ways to deeply understand software defects and to guarantee reliability and safety. Using techniques of program analysis and verification and software testing, it aims to build more trustworthy software systems.
View More ↗
MembersFaculty
- ProfessorJianjun Zhao
- Assistant ProfessorYaokai Feng
- Assistant ProfessorZhenya Zhang
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 Intelligent Software Engineering Lab
Software Engineering LabGraduate School of Information Science and Electrical Engineering, Department of Advanced Software EngineeringSoftware engineering, automatic program generation and repai…
Humanophilic Systems LabGraduate School of Information Science and Electrical Engineering, Department of Advanced Software EngineeringIoT, activity recognition, behavior change support systems, …
Ashir LabGraduate School of Information Science and Electrical Engineering, Department of Advanced Software EngineeringDigital health, large language models, medical AI, community…
Intelligent Information Environment LabGraduate School of Information Science and Electrical Engineering, Department of Advanced Software EngineeringData mining, text mining, information sharing, information r…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: “Programmers” Lbronn / CC BY-SA 4.0 (cropped)
- Analysis and Testing for Trustworthy Software: “Illustration of Open Box Testing discipline” J-at-ywalters-dot-net / CC BY-SA 4.0 (cropped)
- Related lab (Software Engineering Lab): “C Hello World Program” Esquivalience / CC0 (cropped)
- Related lab (Humanophilic Systems Lab): “Iot, Internet of Things Colorful Typography 01” Chiplanay / CC BY-SA 4.0 (cropped)
- Related lab (Ashir Lab): “The Pacayita Health Post in rural Catarina, Masaya, Nicaragua” Mtran99 / CC BY-SA 4.0 (cropped)
- Related lab (Intelligent Information Environment Lab): “Big Data ( )” Learntek / CC0 (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.