LAB LOGA page on LabLog, a review site (not the lab's official page)
Computer Software Lab
Machine-translated · View original
The lab uses mathematics to guarantee that programs are correct.
AboutAbout the lab
Toward programs that are correct and easy to write
The Computer Software Lab focuses on programming languages, studying the theory and applications for building efficient and reliable software.
The lab works on the theory and applications of program verification techniques based on mathematical logic, such as type theory and model checking.
Drawing on the ideas of functional programming and object-oriented programming, the lab also designs and develops programming languages that allow highly abstract descriptions.
Key terms
- Type theory
- A mathematical theory of the kinds (types) of data in programs. It helps find errors ahead of time
- Model checking
- A method that examines all the states a system can take and automatically checks whether it satisfies its specification
- Abstraction
- Hiding fine details and extracting only the essence of something
ResearchResearch themes
The lab studies methods for rigorously guaranteeing the correctness of programs, and abstraction mechanisms that make programs easier to write.
*Illustrative imageRigorously guaranteeing program correctness
Programs written by people are bound to contain errors, which can sometimes lead to major damage. The lab studies mathematically grounded methods for guaranteeing the absence of errors, increasing the reliability of programs.
*Illustrative imageMaking programs easier to write
Many languages provide abstraction features such as procedures, modules, and classes. The lab develops abstraction mechanisms suited to application domains and studies their theory and implementation techniques.
MembersFaculty
The faculty of the Computer Software Lab are Professor Atsushi Igarashi, Associate Professor Kohei Suenaga, Assistant Professor Masaki Waga, and Assistant Professor Mirai Ikebuchi.
- ProfessorAtsushi Igarashi
- Associate ProfessorKohei Suenaga
- Assistant ProfessorMasaki Waga
- Assistant ProfessorMirai Ikebuchi
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 Computer Software Lab
Statistical Intelligence LabFaculty of Engineering, School of Informatics and Mathematical ScienceExploring methodologies of statistics and machine learning; …
Intelligent Computing LabFaculty of Engineering, School of Informatics and Mathematical ScienceInductive inference: elucidating its properties using mathem…
Computer Architecture LabFaculty of Engineering, School of Informatics and Mathematical ScienceComputer architecture: principles and technologies for desig…
Control Systems Theory LabFaculty of Engineering, School of Informatics and Mathematical ScienceControl systems theory: modeling theory for the control of d…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: “Source code in Javascript” Romainhk / CC BY-SA 3.0 (cropped)
- Rigorously guaranteeing program correctness: “TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016” Radosław Smilgin / CC BY-SA 3.0 (cropped)
- Making programs easier to write: “Computer programming class” Wikideas1 / CC0 (cropped)
- Related lab (Statistical Intelligence Lab): “Normal distribution function” Shishirdasika / CC BY-SA 3.0 (cropped)
- Related lab (Intelligent Computing Lab): “Water Dolphin” JJ Harrison (https://www.jjharrison.com.au/) / CC BY-SA 3.0 (cropped)
- Related lab (Computer Architecture Lab): “A Wafer of the Latest D-Wave Quantum Computers ( )” Steve Jurvetson from Menlo Park, USA / CC BY 2.0 (cropped)
- Related lab (Control Systems Theory Lab): “VIEW OF CONTROL PANEL ON THE EASTERN SIDE OF THE EAST SERVICE BUILDING OF DOROTHY SIX BLAST FURNACE. (Jet Lowe) - U.S. Steel Duquesne Works, Blast Furnace Plant, Along Monongahela HAER PA,2-DUQU,3A-75” Lowe, Jet, creator / 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.