Registered user since Fri 14 Nov 2025
Name:Massin Guerdi
Country:Germany
Affiliation:Ludwig-Maximilians-Universität München
Personal website: https://www.tcs.ifi.lmu.de/staff/massin-guerdi
GitHub: https://github.com/mguerdi
Contributions
POPL 2026-profile
View general profile
View general profile