Registered user since Sat 27 Jun 2026
Name:Oliver Gerstl
Country:Germany
Affiliation:Ulm University
Personal website: https://www.linkedin.com/in/oliver-gerstl
GitHub: https://github.com/OliverGerstl
Research interests:Static Analysis, Abstract Interpretation
Contributions
Using general profile