Curriculum Vitae

\(\mathrm{\SunQuarTeX}\) Examples

Education

2038/09–2042/06 | UKyoto | Bachelor of Physics

Grades (by the end of 6th semester)

  • GPA: 3.9 / 4.0
  • GPA Ranking: 3 / 233

Undergraduate Thesis

  • Advisor: Prof. Yumemi Okazaki, UKyoto
  • Studying Area: Grand Unified Theory, Supersymmetry, String Theory, Quantum Gravity

Awards

Date Round Award Issued by
2039/12 2038–2039 Excellent Student UKyoto

Scholarships

Date Round Scholarship Issued by
2039/11 2038–2039 UKyoto Scholarship for Outstanding Students UKyoto
2040/03 2039–2040 Western Scholarship Team Shenzhen Bob

Competitions

GeoGuessr

Date Competition Prize
2039/12/15 GeoGuessr World Championship 2039 5nd Place
2040/11/30 GeoGuessr World Championship 2040 2nd Place

Talks

Date Title Links
2040/11/30 Introduction to Formal Physics with Lean 4 onsite (en) latest (en)
  • Introducing Physlib: Digitalizing Physics in Lean 4.
2039/09/15 Analytical Mechanics, Differential Manifolds and Symplectic Geometry onsite (en)
  • UTokyo–UKyoto Student Physics Workshop

Programs

Date Program Links
2039/11–2040/12 Supernatural Borders and Where to Find Them
  • Innovation and Entrepreneurship Training Program for College Students
  • We study the supernatural borders, a class of spatial boundaries that can be crossed with certain conditions. The concept is originated from the string theory, but recent investigations have provided evidence for the existence of supernatural borders in our world. We aim to systematically study the properties of supernatural borders, identify them in the real world and explore their potential applications.
  • Role: Project Leader
  • Joint with: Maribel Hearn

Skills

  • Formal Languages General programming language familiarity. (Python / Lean 4)

  • Formalizing Physics Contributor of Physlib 4. Work experience in formalization and annotation in Lean 4.

  • Typesetting Experienced user of Markdown, \(\mathrm{\LaTeX}\), Quarto and \(\mathrm{\SunQuarTeX}\).

  • GeoGuesser Top 1% player in GeoGuessr.

  • Natural Languages:

    • Japanese: Native
    • English:
      • IELTS Academic 7.5 (8.5 / 8 / 6.5 / 6.5)