LAB LOGA page on LabLog, a review site (not the lab's official page)
Mathematical Logic Lab (Matthew Debrecht)
Machine-translated · View original
A lab that studies how computation works, starting from logic and topological spaces.
AboutAbout the lab
Connecting the shape of spaces with the theory of computation.
The Debrecht Lab works in mathematical logic, topology, the theory of computation, and machine learning.
Its main papers deal with topological spaces that admit computation (computable topology) and with quasi-Polish spaces.
Undergraduates are assigned to the Division of Mathematical and Information Sciences and carry out graduation research there (for graduate students, this is the Division of Mathematical and Information Sciences in the Department of Human and Environmental Studies, Graduate School of Human and Environmental Studies).
Key terms
- Topological space
- A space that retains only the notion of "nearness" between points
- Computable topology
- A field that treats the properties and constructions of topological spaces in a form that a computer can compute
ResearchResearch themes
The lab studies the theory of computation using methods from mathematical logic and topology.
View More ↗
MembersFaculty
- ProfessorDEBRECHT Matthew
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 Mathematical Logic Lab (Matthew Debrecht)
Theory of Computation Lab (Holger Thies)Faculty of Integrated Human Studies, School of Integrated Human StudiesTheory of computation, computational complexity theory, and …
Morinari Condensed Matter Theory LabFaculty of Integrated Human Studies, School of Integrated Human StudiesCondensed matter theoryMotor Control and Learning Lab (Shota Hagio)Faculty of Integrated Human Studies, School of Integrated Human StudiesMotor control science, computational neuroscience, motor lea…Behavioral Control Lab (Keisuke Kushiro)Faculty of Integrated Human Studies, School of Integrated Human StudiesBehavioral control, sport psychology, neurophysiology, cogni…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: “Cantor set radial phoenix” Cmglee / CC BY-SA 4.0 (cropped)
- A Theory of Computable Spaces: “Cantor set binary tree” Sam Derbyshire / CC BY-SA 4.0 (cropped)
- Related lab (計算理論
（THIES Holger） ): “Coq plus comm screenshot” Hugo Herbelin / CC BY-SA 3.0 (cropped) - Related lab (森成物性理論研究室): “Tile levitates by Meissner effect” Garrett Pennell / CC BY-SA 3.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.