Registered user since Wed 12 Nov 2025
Name:Ilan Buzzetti
Bio:
Not applicable.
Country:United States
Affiliation:University of Texas at Dallas
Personal website: https://ilanb.xyz
GitHub: https://github.com/errware
Research interests:formal verification, proof automation, invariant generation, bottom-up formal methods, vulnerability detection
Contributions
Using general profile