主に数学基礎論、公理的集合論、ラムダ計算、計算可能性理論、様相論理などに興味があります。