- ๐ Hi, Iโm Ignacio Tiraboschi, you can find me as
@ignatirabo
(almost) everywhere. I'm a PhD Student at ENS Paris. - ๐ Iโm interested in the static analysis of programs for security properties.
- ๐ฑ Iโm currently learning off-topic stuff like 3D Graphics!
- ๐น๏ธ I love videogames too!
- ๐ซ You can reach me in my professional email
[email protected]
:)
ignatirabo / seminar-relsym Goto Github PK
View Code? Open in Web Editor NEWSeminar for the ANTIQUE Team about Relational symbolic execution