What's New

2024-11-21: Paper page has been updated.

2024-10-12: I will give a presentation at 「数学基礎論若手の会2024」 .

2024-10-01: The name of my affiliation has been changed into "Institute of Science Tokyo".

I am

Profile

Nishimura Yuki

I'm in the 2nd grade of doctoral course in Institute of Science Tokyo, belonging to Kashima Lab.

My major is mathematical logic. See this page for more detail.

Biography

• 2017: Graduated Asahigaoka High School, Aichi, Japan
• 2021: Bachelor of Liberal Arts, The University of Tokyo
• 2023: Master of Science, Tokyo Institute of Technology
• Now: Doctoral Course, School of Computing, Institute of Science Tokyo

Contact

• e-mail: nishimura.y.as [at] m.titech.ac.jp
• X (Twitter): @w_v_logic