• E-mail: takumi@ueda.dev
• GitHub: @uedatakumi
• LinkedIn: uedatakumi94

Work Experience

• Apr 2022 - Present, Software Engineer (full-time), IT Company, Tokyo, Japan.
  • R&D Group, Business Solutions Division (Jul 2022 - Present)
  • Administration Department (Apr 2022 - Jun 2022)
• Mar 2015 - Mar 2019, Programmer (part-time), MK System, Nagoya, Japan.
  • Systems Development Division

Education

• M.Sc. in Information Science, Japan Advanced Institute of Science and Technology, 2022.

Teaching

• Oct 2021 - Dec 2021, Teaching assistant, I413E Theoretical Computer Science (in English), JAIST.
• Apr 2021 - Jun 2021, Teaching assistant, I211E Mathematical Logic (in English), JAIST.
• Dec 2020 - Feb 2021, Teaching assistant, I238E Computation Theory (in English), JAIST.
• Oct 2020 - Dec 2020, Teaching assistant, I211 Mathematical Logic (in Japanese), JAIST.
• Jun 2020 - Aug 2020, Teaching assistant, I114 Fundamental Mathematics for Information Science (in Japanese), JAIST.

Pre-publication Reviews

• Hajime Ishihara, Proof Tools (証明作法), Kyoritsu Publications, 2023. In Japanese.