LAB LOGA page on LabLog, a review site (not the lab's official page)
Foundations of Software Science Lab
Machine-translated · View original
A lab that studies the theory of programming languages and models of computation.
AboutAbout the lab
Exploring programming languages from the theoretical side
The Foundations of Software Science Lab works in the fields of programming language theory, models of computation, and information security.
It is a lab belonging to Tohoku University's Graduate School of Information Sciences and the Department of Electrical, Information and Physics Engineering in the School of Engineering.
On the lab's website, it is introduced as the "Sumii-Matsuda Lab."
Key terms
- Programming language theory
- A field that mathematically investigates the mechanisms and properties of languages used to write programs.
- Models of computation
- Frameworks that mathematically represent the procedures and capabilities of computation.
- Information security
- Technologies and concepts for protecting information from eavesdropping, tampering, and the like.
NewsLab news
View More ↗ResearchResearch themes
The lab's research fields are programming language theory, models of computation, and information security. For details of the research, the lab's website directs readers to Tohoku University's lab introductions and individual faculty members' pages.
View More ↗MembersFaculty
The members of the Foundations of Software Science Lab consist of faculty members, visiting researchers, researchers, master's and undergraduate students, administrative assistants, and short-term exchange students.As of 2026
- ProfessorEijiro Sumii
- Associate ProfessorKazutaka Matsuda
- Assistant ProfessorYuki Nishida
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 Foundations of Software Science Lab
Information Logic LabGraduate School of Information Sciences, Department of Computer and Mathematical SciencesBridging the gap between humans and computers | Research key…
Information Security LabGraduate School of Information Sciences, Department of Computer and Mathematical SciencesTheory and applications of information security | Research k…
High-Performance Computing LabGraduate School of Information Sciences, Department of Computer and Mathematical SciencesCreating future supercomputing technology | Research keyword…
Mathematical Foundations of Information Science IV LabGraduate School of Information Sciences, Department of Computer and Mathematical SciencesVerified numerical computation. In science and engineering, …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: “Tidal Code Screenshot” Kindohm / CC BY-SA 4.0 (cropped)
- Related lab (情報論理学): “Informatics General programmer at terminal” Jonathan Schilling / CC BY-SA 4.0 (cropped)
- Related lab (情報セキュリティ論): “Data Security Breach ( )” Blogtrepreneur / CC BY 2.0 (cropped)
- Related lab (高性能計算論): “Pleiades supercomputer racks 4” Oleg Alexandrov / CC BY-SA 4.0 (cropped)
- Related lab (情報基礎数理学 IV): “Blackboard bold on a blackboard” Jacob Rus / 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.