LAB LOGLab reviews by studentsOpen the app
A page on LabLog, a review site (not the lab's official page)
46 labs · 0 student voices
Other departments in School of Science ›Faculties at Nagoya University ›
Jun Kato, Associate Professor
0 student voices
Prof. Kato studies nonlinear partial differential equations. Nonlinear partial differential equations appear as models of a wide range of natural phenomena. The professor examines mathematical well-posedness, such as whether a solution exists and whether it is uniquely determined. In particular, equations describing wave phenomena are studied with methods from functional analysis and harmonic analysis (including Fourier analysis).
Jacques Garrigue, Professor
0 student voices
Prof. Garrigue studies the theory of programming languages. The goal is to eliminate bugs thoroughly without sacrificing the expressiveness of programming languages. The main subjects are type systems and program proofs. As one of the developers of the functional programming language OCaml, the professor has pursued both expressiveness and safety. The professor is also trying to apply Coq, a proof assistant, to proofs in mathematics and systems.
Tomomi Kawamura, Associate Professor
0 student voices
Prof. Kawamura studies knot theory and low-dimensional topology. Put simply, knot theory is a branch of geometry that examines how tangled a piece of string is. The professor studies the properties of invariants of knots and links, that is, numbers, polynomials, and the like that express their complexity. The professor reportedly never stops being amazed by the depth of the field: results from advanced theories such as gauge theory, which developed in physics, are applied to proving formulas that look simple at first glance.
Nanao Kita, Associate Professor
0 student voices
Prof. Kita studies discrete mathematics and theoretical computer science, centered on graph theory, combinatorial optimization, and algorithms. Motivated by optimization theory and algorithm design, the professor investigates the structure of graphs. The lab does not do applied research; its style is to build theory by accumulating theorems and proofs. The lab accepts undergraduate students from the Department of Mathematics in the School of Science for graduation research, and accepts graduate students through the Graduate School of Mathematics.
Shinya Kinoshita, Associate Professor
0 student voices
Prof. Kinoshita studies the theory of partial differential equations and harmonic analysis. The focus is on dispersive and wave equations, which describe a wide range of wave phenomena arising in quantum mechanics, plasma engineering, and fluid dynamics. Given information at a certain time (the initial data), the research shows that a solution exists and is unique, and then examines how that solution behaves. Harmonic analysis, especially Fourier restriction theory, plays a major role as a tool for this.
Takayuki Kihara, Professor
0 student voices
Prof. Kihara studies the foundations of mathematics and mathematical logic. The foundations of mathematics is a field that takes mathematics itself as its object and explores its premises and limits. Prof. Kihara is interested in theories that classify fundamental mathematical concepts such as computation, proof, and definition by their complexity. The core of his recent research is the analysis of the internal logic of sheaf toposes through "oracle sites."
Masashi Kubo, Associate Professor
0 student voices
Prof. Kubo studies the fundamental theory of communication within information theory. The specialties are source coding, the theory of data compression, and channel coding. Although the field has a name like information engineering, it is approached as a branch of mathematics based on probability theory, and sometimes hardly uses computers. In small-class courses, the basic approach is to choose topics that involve probability in some form.
Tetsuya Shiromizu, Professor
0 student voices
Prof. Shiromizu studies general relativity and cosmology. Prof. Shiromizu applies geometry to relativity, particle physics, and cosmology, and proposes original and universal insights and formulations. The professor takes a distinctive strategy of approaching, through geometry, the mysteries of the universe revealed by observation. The lab accepts students for senior thesis research in the Department of Mathematics, School of Science, in principle every other year.
Mitsuru Sugimoto, Professor
0 student voices
Prof. Sugimoto studies partial differential equations and Fourier analysis. Expressing various natural phenomena as partial differential equations makes it possible to treat them mathematically. Through the analysis of these equations, the lab aims to extract new principles that can explain concrete phenomena in a unified way. In particular, the lab aims to apply methods that derive properties of solutions from the structure of the equations to the analysis of quantitative properties, such as the size and smoothness of solutions.
Ryo Takahashi, Professor
0 student voices
Prof. Takahashi studies commutative algebra. Commutative algebra is a field closely related to algebraic geometry, algebraic combinatorics, and the representation theory of algebras. The professor mainly studies the "representation theory of commutative rings," which is commutative algebra approached from the direction of the representation theory of algebras. The aim is to understand the structure of the module category (the category of all finitely generated modules) of commutative Noetherian rings, especially Cohen–Macaulay rings.
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