Researcher at the Ca' Foscari University of Venice. Formal methods and security.
- Italy
-
12:36
(UTC +01:00) - matteobusi.github.io
Highlights
- Pro
Earned achievements
Pull Shark
Pull Shark
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading