Registered user since Wed 2 Oct 2024
Name:Mario Frank
Country:Germany
Affiliation:University of Potsdam
Personal website: https://www.uni-potsdam.de/en/cs-se/team/mario-frank
GitHub: https://github.com/eladrion
Research interests:Software Verification, Operating Systems, Compilation
Contributions
POPL 2025-profile
View general profile
View general profile