Talks

2026

CSL 2026, Paris

• On Left Adjoints Preserving Colimits in Homotopy Type Theory [slides]

2025

Summer Topology and Its Applications Conference (Topology and Computing special session), Mobile

• A mechanized characterization of coherent 2-groups (invited) [slides]

MURI grant meeting, Pittsburgh

• A mechanized characterization of coherent 2-groups [slides]

HoTT/UF Workshop, Genoa

• A note on left adjoints preserving colimits in HoTT

CSL 2025, Amsterdam

• Coslice Colimits in Homotopy Type Theory [slides]

2024

MURI grant meeting, Pittsburgh

• Coslice colimits in HoTT [slides]

2023

MURI grant meeting, Pittsburgh

• Type-theoretic Brown representability [slides]

Conference on Homotopy Type Theory, Pittsburgh

• Colimits in the category of pointed types

HoTT/UF Workshop, Vienna

• Colimits in the category of pointed types