🐫
Static analysis & compiler engineer. Passionate about programming languages.
-
Certora
- London, UK
- phreppo.github.io
- in/francesco-parolini
Search results
0 open and 0 closed projects found.-
No open projects
8000