2002年3月京都大学理学部卒業。2007年9月東京大学情報理工学系研究科退学。2007年12月東京大学より博士（情報理工学）取得。2007年10月より産業技術総合研究所テクニカルスタッフ、2008年4月より同研究所特別研究員、2009年4月より京都大学特定助教、2011年4月より理化学研究所特別研究員、2013年4月より同研究所研究員。2015年11月より現職。
計算とは何かということに興味を持ち、プログラミング言語の理論と実装、プログラム検証の研究に従事。
Since November 2015, I am a senior research scientist at STAIR Lab, Chiba Institute of Technology. I got BA from Kyoto University in 2002. I have received a Ph.D. degree in Computer Science from the University of Tokyo in 2007. I have worked for National Institute of Advanced Industrial Science and Technology, Kyoto University, and RIKEN.