LAB LOGA page on LabLog, a review site (not the lab's official page)
Minamide Lab
Machine-translated · View original
A software verification lab that uses theory to confirm that software is correct.
AboutAbout the lab
Improving software reliability through theory.
The Minamide Lab researches theories and techniques for improving the reliability of software.
Society today depends ever more heavily on software, and improving its reliability has become a challenge.
In web-related software, for example, a small error in a program can cause vulnerabilities such as cross-site scripting and SQL injection.
The lab focuses especially on research into verification techniques based on the theory of formal languages and automata.
Key terms
- Formal language
- A set of strings defined rigorously by mathematical rules. It is used to handle the grammar of programs.
- Automaton
- A model of a simple computing mechanism that reads a string while moving between states.
- SQL injection
- An attack that slips database commands into an input field to extract information that should not be visible.
ResearchResearch themes
The lab researches theories and techniques for improving the reliability of software. It focuses especially on verification techniques based on the theory of formal languages and automata.
*Illustrative imageComplexity analysis of regular expression matching
Regular expression matching, which is widely used for tasks such as string search, is mostly implemented with backtracking, so it may fail to finish in time linear in the length of the input string. To detect this in advance, the lab statically analyzes the computational complexity required.
*Illustrative imageSatisfiability checking for string constraints
The lab handles constraints that combine string concatenation and transformation, conditions given by regular expressions, and integer conditions on string length. It develops procedures that decide whether a string satisfying such constraints exists.
*Illustrative imageVerification of web software
The lab has developed a string analysis that approximates the set of strings a program can output as a context-free language, and uses it to verify server-side programs. It applies the analysis to detecting SQL injection and XSS vulnerabilities and to checking whether generated web pages are syntactically correct.
*Illustrative imageTest generation from the HTML5 parsing specification
The lab formalizes the HTML5 parsing specification, converts it into a conditional pushdown system, and applies reachability analysis to automatically generate HTML documents for testing. Testing browsers with these documents has successfully uncovered incompatibilities in browsers such as Safari and Firefox.
MembersFaculty
The members of the Minamide Lab consist of faculty members and master's and undergraduate students.As of 2026
- ProfessorYasuhiko MinamidePublications ↗
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 Minamide Lab
Cong LabSchool of Computing, Department of Mathematical and Computing ScienceTheory and education of programming languages
Masuhara LabSchool of Computing, Department of Mathematical and Computing ScienceTheory and design of programming languages and development e…
Yasunaga LabSchool of Computing, Department of Mathematical and Computing ScienceCryptography and computational theory
Suzuki LabSchool of Computing, Department of Mathematical and Computing ScienceKnot theory and quantum topologyThe 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: “CSS code on a screen (Unsplash)” Sai Kiran Anagani _imkiran / CC0 (cropped)
- Complexity analysis of regular expression matching: “Regular expression example” Belbury / CC0 (cropped)
- Satisfiability checking for string constraints: “Finite-state machine state-diagram” Maggyero / CC BY-SA 4.0 (cropped)
- Verification of web software: “Programming code” Martin Vorel / CC BY-SA 4.0 (cropped)
- Test generation from the HTML5 parsing specification: “HTML5 oval logo” HTML5-logo.svg: W3C derivative work: Patio (talk) / CC BY 3.0 (cropped)
- Related lab (叢悠悠研究室): “Lambda calculus-Church numerals” Isaac David / Public domain (cropped)
- Related lab (増原英彦研究室): “FortranCodingForm.agr” Arnold Reinhold / CC BY 2.5 (cropped)
- Related lab (安永憲司研究室): “ENIGMA Wired Rotor - National Cryptologic Museum - DSC07768” Daderot / CC0 (cropped)
- Related lab (鈴木咲衣研究室): “Blue Trefoil Knot” Jim.belk / 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.