Teaching

Teaching Assistant

• I413E Theoretical Computer Science (in English), JAIST, 2021.
• I211E Mathematical Logic (in English), JAIST, 2021.
• I238E Computation Theory (in English), JAIST, 2020.
• I211 Mathematical Logic (in Japanese), JAIST, 2020.
• I114 Fundamental Mathematics for information Science (in Japanese), JAIST, 2020.