LAB LOGLab reviews by studentsOpen the app
A page on LabLog, a review site (not the lab's official page)
2 labs · 0 student voices
Other departments in Institute of Mathematics for Industry ›Faculties at Kyushu University ›
Daniel Gaina, Associate Professor
0 student voices
This lab studies universal logic, which treats a wide variety of logical systems in a common framework. Using category theory as its mathematical language, the lab works on the theory of institutions, which formalizes a logical system as a combination of a signature (a collection of symbols), sentences, models, and a satisfaction relation. The lab has been involved in laying logical foundations for formal methods, which are used to write software specifications and support their verification, and in designing tools that assist with proofs. Recently, the lab has been extending its theory to hybrid systems, which combine discrete and continuous behavior, and to quantum computation.
Pierluigi Cesana, Professor
0 student voices
The Partial Differential Equations and Calculus of Variations Lab investigates problems in elasticity theory and functional materials, building on partial differential equations and vector-valued calculus of variations. Its research includes mathematically modeling defects that arise in crystal lattices and using machine learning to study the properties of molecules. The lab also studies anomalies that appear in blockchain transactions. Professor Pierluigi Cesana is also a faculty member of the Department of Mathematics in the Graduate School of Mathematics and of the Graduate School of Mathematics for Innovation.
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.
LAB LOG