Ph.D. student
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
Cambridge, MA
The United States of America
Email: ikebuchi [at] mit.edu
Interests: Formal Verification, the Coq Proof Assistant, Term Rewriting System


Sep.2017- : Massachusetts Institute of Technology
Apr.2015-Mar.2017 : Master of Science, Nagoya University(Advisor: Hiroshi Ohta, Subadvisor: Jacques Garrigue)
Apr.2011-Mar.2015 : Bachelor of Science, Tsukuba University (valedictorian)


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

Oct.2016-Feb.2017 : Teaching Assistant (Complex Analysis, G30 Program)
Sep.2016 : Committee Member in Program Committee for CUFP 2016
Apr.2014-Jul.2014 : Teaching Assistant (Exercise in Computer)


Nov.2016 : Coqによる大規模データ処理・機械学習ライブラリの開発(Implementing a big data processing/machine learning library in Coq), 12th Theorem Proving and Provers (TPP 2016)
Feb.2017 : Word problems and a homological finiteness condition for monoids, 46th TRS meeting
Mar.2017 : Bコンビネータの周期性について(On periodicity of B combinators), 19th Programming and Programming Language Workshop (won the poster award)