What's New

2025-05-15: I will give a presentation in Logic Colloquium 2025.

2025-03-03: New article Terminating Hybrid Tableaus for Ordered Models in arXiv.

I am

Profile

Nishimura Yuki

I'm in the 3rd 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 (he/him)
• X (Twitter): @w_v_logic