Registered user since Mon 13 Jun 2022
Name:Dennis Sprokholt
Country:Germany
Affiliation:TU Munich
Personal website: https://dennis.life/
GitHub: https://github.com/sourcedennis
Research interests:Verification, Architectures, Superoptimization
Contributions
Using general profile