What's New

2026-10-23: I will give a presentation in MLG 61st. Slide

2026-10-17: I have given a presentation in 数学基礎論若手の会2026.

2026-10-01: New article is up on arXiv: 2610.01433.

I am

Profile

NISHIMURA Yuki

Assistant Professor at Department of Computer Science, School of Computing, Institute of Science Tokyo

Ph.D. in Science (Institute of Science Tokyo)

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

Biography

• 2026: Ph.D. of Science, Institute of Science Tokyo
• 2023: Master of Science, Tokyo Institute of Technology
• 2021: Bachelor of Liberal Arts, The University of Tokyo
• 2017: Graduated Asahigaoka High School, Aichi, Japan

Contact

• e-mail: yuki.nishimura [at] comp.isct.ac.jp (he/him)
• X (Twitter): @w_v_logic
• ORCID: 0009-0000-0475-1168
• researchmap (Japanese)