
Claudio Bernardoni
Master’s Student in Computer Science
University of Pisa
Research interests:
- Formal Methods
- Program Verification
- Separation Logic
- Static Analysis
Currently working on an article based on my bachelor’s degree thesis on a bi-abduction algorithm for Separation Logic.
Email: cla.bernardoni25@gmail.com
GitHub: https://github.com/cla25ber
LinkedIn: linkedin.com/in/claudio-bernardoni-b08b66267/
Como nuevo usuario de WordPress, deberías ir a tu escritorio para borrar esta página y crear nuevas páginas para tu contenido. ¡Pásalo bien!