conf.researchr.org / Aleksander Boruch-Gruszecki
Registered user since Mon 12 Sep 2022
Name:Aleksander Boruch-Gruszecki
Country:Czechia
Affiliation:Charles University
Personal website: https://abgruszecki.github.io/
X (Twitter): https://x.com/abgruszecki
GitHub: https://github.com/abgruszecki
Research interests:Type systems, programming languages
Contributions
2024
IWACO
SPLASH
2023
IWACO
- Session Chair of IWACO Session 1 (part of IWACO 2023)
- Author of Degrees of Separation: A Flexible Type System for Data Race Prevention within the IWACO 2023-track
- Committee Member in Organizing Committee within the IWACO 2023-track
- Session Chair of IWACO Session 2 (part of IWACO 2023)
- Author of Welcome to IWACO! within the IWACO 2023-track
- Session Chair of IWACO Keynote Session (part of IWACO 2023)
- Program Chair in Program Committee within the IWACO 2023-track