A page on LabLog, a review site (not the lab's official page)
23 labs · 3 student voices
Other departments in Faculty of Science ›Faculties at Chiba University ›

Yoshiki Nakamura, Associate Professor
0 student voices
Prof. Nakamura specializes in mathematical logic and theoretical computer science. In recent years, the professor has published papers on the calculus of relations and Kleene algebra. In the Department of Mathematics and Informatics, the professor belongs to the information mathematics area.

Mitsuharu Yamamoto, Professor
0 student voices
Prof. Yamamoto's specialty is formalization using proof assistants. The research themes are computer-based verification and the frameworks for it. In the Department of Mathematics and Mathematical Informatics, the professor belongs to the mathematical informatics area.

Ryosuke Kodera, Associate Professor
0 student voices
Prof. Kodera researches representation theory. Representation theory is a field that studies how algebras act by translating them into concrete forms such as matrices. The objects of study are representations of quantum loop algebras, Yangians, and related infinite-dimensional Lie algebras. Crystal bases and quiver varieties are also listed as research areas.
Student voices are for students only. Sign up free with your university email to read student voices for each lab.
Sign up freeLabLog 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 lab list and basic info 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.