Speaker Intro

Kazuyuki Tanaka received his Ph.D. from U.C. Berkeley. Before joining BIMSA in 2022, he taught at Tokyo Inst. Tech and Tohoku University, and supervised fifteen Ph.D. students. He is most known for his works on second-order arithmetic and reverse mathematics, e.g., Tanaka's embedding theorem for WKLo and the Tanaka formulas for conservation results. For more details: https://sendailogic.com/tanaka/

Member Seminar Intro

The BIMSA member seminar is a weekly event during which researchers engage in discussions about their extensive research interests, addressing a diverse audience that includes fellow researchers and all postdoctoral scholars within the institute. This forum provides a unique privilege and an invaluable opportunity for each research faculty member, serving as a speaker, to introduce their research field, promote the subject within the institute, and ignite the potential for future collaborations with other research groups within the institute.

The lecture format consists of a 30-minute colloquium-style presentation, thoughtfully tailored to be accessible to postdoctoral scholars and researchers from diverse disciplines within the institute. Following the presentation, a 15-minute discussion session is anticipated, involving active participation from postdocs representing various fields.

It is mandatory for all postdocs at the institute to actively participate in this event. The enthusiastic involvement of faculty members is greatly valued and will prove mutually beneficial for both the speaker and the junior audience.