Mirai IKEBUCHI
Postdoctoral Researcher
National Institute of Informatics
Tokyo, Japan
Email: ikebuchi [at] nii.ac.jp
Publications
dblp
Education
Sep.2017-Oct.2021 : Doctor of Philosophy in Electrical Engineering and Computer Science, Massachusetts Institute of Technology
Apr.2015-Mar.2017 : Master of Science, Nagoya University
Apr.2011-Mar.2015 : Bachelor of Science, Tsukuba University (valedictorian)
Experience
Apr.2015-Jan.2017 : Software Developer at IT Planning Inc.
Apr.2016-Aug.2016 : Research Internship at MIT CSAIL (PI: Adam Chlipala)
Mar.2011-Mar.2015 : Part-time Worker at IIJ Research Laboratory
Fall 2020 : Teaching Assistant (6.009 Fundamentals of Programming, MIT)
Fall 2016 : Teaching Assistant (Complex Analysis, G30 Program, Nagoya University)
Sep.2016 : Committee Member in Program Committee for CUFP 2016
Spring 2014 : Teaching Assistant (Exercise in Computer, Tsukuba University)