1. ARIETH POUPIUInformation acquired: 2025Leave messagePhD student in computer science working on homotopy type theory ©