![Aleksander Boruch-Gruszecki](https://popl24.sigplan.org/getProfileImage/aleksanderboruchgruszecki/09af9053-af6f-4bb9-888a-2a57e016117c/small.jpg?1711479762000)
Registered user since Mon 12 Sep 2022
Name:Aleksander Boruch-Gruszecki
Country:Switzerland
Affiliation:EPFL
Personal website: https://abgruszecki.github.io/
X (Twitter): https://x.com/abgruszecki
GitHub: https://github.com/abgruszecki
Research interests:Type systems, programming languages
Contributions
POPL 2024-profile
View general profile
View general profile