
Registered user since Fri 17 Sep 2021
Name:Michael Schwarz
Country:Germany
Affiliation:TU Munich
Personal website: https://michael-schwarz.github.io/
X (Twitter): https://x.com/93mSchwarz
Contributions
POPL 2025-profile
View general profile
View general profile