![Ignacio Tiraboschi](https://popl23.sigplan.org/getProfileImage/ignaciotiraboschi/e2d282d9-4c33-4815-a3c7-7652ec9c7272/small.jpg?1712239183000)
Registered user since Tue 15 Jan 2019
Name:Ignacio Tiraboschi
Country:Argentina
Affiliation:Inria, France / ENS, France
GitHub: https://github.com/ignatirabo
Research interests:Programming Languanges, Abstract Interpretation, Metaprogramming, Security, Formal verification
Contributions
POPL 2023-profile
View general profile
View general profile