Seiberg-Witten Floer安定ホモトピー型という3次元多様体の不変量の計算手法を開発し、低次元トポロジーや結び目理論への応用を行う予定である。応用として、境界付き4次元多様体のトポロジーへの応用や、Seiberg-Witten Floer安定ホモトピー型と結目理論の不変量であるKhovanovホモトピーとの関連を研究していく予定である。