Institution. Stockholm University

link · su.se · ROR

People

Peter LeFanu Lumsdaine peterlumsdaineAssistant Professor · Stockholm University
peterlefanulumsdaine.com

PhD alumni

Einar Hille einarhille
PhD advisorMarcel Riesz
PhD studentsIrving Ezra Segal
PhDStockholm University

Formerly here

Evan Cavallo evancavalloPostdoc, Logic and Types group · University of Gothenburg
PhD advisorRobert Harper
Postdoc advisorAnders Mörtberg, Thierry Coquand
PhDCarnegie Mellon University
ecavallo.net · 0000-0001-8174-7496 · @ecavallo@mathstodon.xyz

Guillaume Brunerie guillaumebrunerieDeveloper · ELK Studios
PhD advisorCarlos Simpson
PhDUniversité Nice Sophia Antipolis
guillaumebrunerie.github.io · https://github.com/guillaumebrunerie

Max Zeuner maxzeuner
0000-0003-3092-8144
stockholm-university institution entries/institutions/stockholm-university.hel