千葉大学理学部数学・情報数理学科卒、北陸先端科学技術大学院大学博士前期課程修了。Master of Science (Information Science). Constructive MathやRecursive Math (Not Recursion Theory)やNon-Classical Logicに興味。