LAB LOGA page on LabLog, a review site (not the lab's official page)
Ubayashi Lab
Machine-translated · View original
A lab that builds high-quality software using AI and machine learning.
AboutAbout the lab
Research on automatically fixing bugs in programs
The Ubayashi Lab studies software engineering.
Using AI and machine learning, as well as "collective intelligence" that gathers the knowledge of many people, the lab aims to build high-quality software.
It works on research on automatically finding and fixing bugs in programs, and on formal methods, which verify software specifications mathematically.
Beyond publishing its results as papers, the lab releases practical development support tools as open-source software.
Key terms
- Software engineering
- A field that studies methods and technologies for developing high-quality software efficiently
- Formal methods
- Techniques for describing software specifications mathematically and verifying their correctness
- Collective intelligence
- The idea of gathering and making use of data and knowledge created by many people
NewsLab news
View More ↗ResearchResearch themes
The Ubayashi Lab studies software engineering that makes use of AI, machine learning, and collective intelligence. It works on automatically finding and fixing bugs in programs and on mathematically verifying the reliability of software.
*Illustrative imageAI-Assisted Programming
Combining programming language theory, AI and machine learning, and collective intelligence, the lab studies mechanisms such as automatic bug fixing and automatic proofs of program correctness.
*Illustrative imageSoftware Repository Mining
This research discovers useful knowledge from source code and development records created by developers around the world. The lab works on topics such as predicting bug-prone commits.
*Illustrative imageHighly Reliable Software through Formal Methods
Using formal methods, which describe and verify software specifications based on mathematical concepts, the lab studies how to verify the designs of highly reliable software.
MembersFaculty
- ProfessorNaoyasu Ubayashi
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 Ubayashi Lab
Terauchi LabSchool of Fundamental Science and Engineering, Department of Computer Science and EngineeringProgramming languages, formal verification, program synthesi…
Washizaki LabSchool of Fundamental Science and Engineering, Department of Computer Science and EngineeringSoftware engineering, smart software systems, and education
Kimura LabSchool of Fundamental Science and Engineering, Department of Computer Science and EngineeringComputer architecture, parallelizing compilers, parallel sof…
Simo-Serra LabSchool of Fundamental Science and Engineering, Department of Computer Science and EngineeringMachine learning, computer graphics, optimization, computer …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: “Programming code” Martin Vorel / CC BY-SA 4.0 (cropped)
- AI-Assisted Programming: “Kintsugi on broken Kyūsu lid-bottom PNr°1259” D-Kuru / CC BY-SA 4.0 (cropped)
- Software Repository Mining: “Network Visualization” Martin Grandjean / CC BY-SA 4.0 (cropped)
- Highly Reliable Software through Formal Methods: “Formulas on an old blackboard (Unsplash)” Roman Mager / CC0 (cropped)
- Related lab (寺内研究室): “Formulas on an old blackboard (Unsplash)” Roman Mager roman_lazygeek / CC0 (cropped)
- Related lab (鷲崎研究室): “Code on computer monitor (Unsplash)” Markus Spiske / CC0 (cropped)
- Related lab (木村研究室): “Pleiades supercomputer racks 3” Oleg Alexandrov / CC BY-SA 4.0 (cropped)
- Related lab (シモセラ研究室): “3D rendering example” Adamgmz / CC BY-SA 4.0 (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.