1995年京都大学工学部情報工学科卒業．2004年京都大学博士（情報学）．1999年より奈良先端科学技術大学院大学情報科学研究科助教，京都大学大学院情報学研究科助教，埼玉大学大学院理工学研究科准教授を経て，2019年より北海道大学大学院情報科学研究院教授．大規模離散構造を扱うアルゴリズム設計の理論と，プログラム実装による応用への実践に取り組んでいる．専門は，計算幾何学，計算折紙，アルゴリズム設計論，列挙アルゴリズム．