教育歴
- 2004年---準学士，豊田工業高等専門学校
- 2008年3月25日---学士（工学），京都大学
- 2010年3月25日---修士（情報科学），東北大学
- 2013年3月27日---博士（情報科学），東北大学
職歴
-
2013年4月--2013年9月:
博士研究員（東京大学，小林研究室）
-
2013年10月--2015年3月:
客員研究員（オックスフォード大学，C.-H. Luke Ong 教授のグループ; 日本学術振興会 海外特別研究員）
-
2015年4月--2020年8月
助教（東京大学 大学院情報理工学系研究科）
-
2020年9月--2024年9月:
准教授（千葉大学 大学院理学研究院）
-
2024年10月--現在:
教授（千葉大学 大学院理学研究院）
プログラム委員
- 2025: CSL, PPL (cochair), LICS
- 2024: MFCS, ESOP, HCVS
- 2023: ICALP, ICFP
- 2021: LICS, TYPES
- 2019: APLAS, ICFP (external review comittee), FSCD, PPL
- 2016: PPL
- 2015: HOLA
- 2014: ITRS