Talks

• Relative Interpretation of Inconsistency Statements Munich-Warsaw Workshop on the Foundations of Mathematics 2023
• Compiling homotopy type theory with Lean: the groupoid model of HoTT0 North American Annual Meeting of the Association for Symbolic Logic 2025

Papers 

• Extremal problems of double stars Discrete Mathematics & Theoretical Computer Science, April 20, 2023, vol. 24, no 2