Experience

• Jul 2025 - Present, Software Engineer on Automotive (full-time), Yokohama & Tokyo.
• Apr 2022 - Apr 2025, Software Engineer on Enterprise Systems (full-time), Tokyo.
• Mar 2015 - Mar 2019, Software Developer (part-time), Nagoya.

Education

• Master of Science in Information Science, JAIST, 2022.
  • Advisors: Hajime Ishihara and Keita Yokoyama
  • Project Report: Proof-theoretic aspects of the simply typed lambda calculus
• Bachelor of Liberal Arts, 2019.

Certifications

• AWS Certified Solutions Architect – Associate (2024 – Present)
• IPA Applied Information Technology Engineer (2013)
• IPA Fundamental Information Technology Engineer (2011)